try this: eqn, exponentialize; solve(%,x); you get 2 answers. The second is -%i*log(a/(2*b-%i*a)-(2*%i*b)/(2*b-%i*a)) which is the same as the atan() you found. Proving that they are equivalent does not seem to be easy. The first solution is different, though. RJF