Recall that sin 2
x
= 2 sin
x
cos
x
