simplify 4 * (cos(x)^2 + sin(x)^2)