Rewriting the cos-1 term as cos-1(x/1), we are looking for the angle (α) where the adjacent side is "x" and the hypotenuse is 1:
Triangle #1:
and using the Pythagorean theorem to solve for the missing side we get it as √(1 - x2)
Rewriting the tan−1 term as tan-1(y/1), we are looking for the angle (β) where the opposite side is "y" and the adjacent side is 1:
Triangle #2:
Using the Pythagorean theorem to solve for the hypotenuse we get that it is √(1 + y2)
To get the sine of the difference of two angles, we use the sine angle subtraction identity:
sin(α - β) = sin(α)cos(β) - cos(α)sin(β)
sin(α) using Triangle #1 is √(1 - x2)/1 = √(1 - x2)
cos(β) using Triangle #2 is 1/√(1 + y2)
cos(α) using Triangle #1 is x/1 = x
sin(β) using Triangle #2 is y/√(1 + y2)
Putting these together sin(α - β) =
√(1 - x2)/√(1 + y2) - xy/√(1 + y2)
The simplification of this is somewhat arbitrary. There is already a common denominator so it can easily by put into a single expression. Rationalizing the denominator is another possible simplification step.