Solving equations/tan identities