Express $$\cot^{-1}\frac{y}{\sqrt{1-x^2-y^2}} = 2\tan^{-1}\sqrt{\frac{3-4x^2}{4x^2}} - \tan^{-1}\sqrt{\frac{3-4x^2}{x^2}} $$ as a rational integral equation between x and y.
This is what I've done:
Let $$t = \tan^{-1}\sqrt{\frac{3-4x^2}{x^2}}$$
$$2\tan^{-1}(t/2) - \tan^{-1}t = \tan^{-1}\frac{t^3}{4+3t^2}$$
$$\implies \frac{\sqrt{1-x^2-y^2}}{y} = \frac{t^3}{4+3t^2}$$
Substituting the value of t and squaring both sides leads to very long calculation. Is there any other way to solve this problem?