$\text { If } \sin ^{-1}\left(2 a / 1+a^{2}\right)+\sin ^{-1}\left(2 b / 1+b^{2}\right)=2 \tan ^{-1} x, \text { prove that } x=(a+b / 1-a b)$