trig reduce 2(1 - 2sin(x)^2)