solve tan^2(x)=a/(cos(x+y)), with respect to x