In this case, it is perhaps simplest to use the addition formula for sine,
Since sin(3)=32 , cos(3)=12, sinv=a, and cosv=1−a2 this can be written as