cos(3pi/4 + x) = -cos(pi/12 - x)