Recall that

, so that

Dealing with the cosine terms is simple, since

(so long as

, which is true here). So

To find the sine, we can make a substitution of

. In other words, we suppose that

is some angle that satisfies

.
If this is the case, then we have

But which value do we choose? We know that

is negative, which means

must be between

and

. The sine of any angle

in this interval will always be positive, so in fact

Putting everything together, we get
