Solve cos(x/2) * cos(3x)/2 - 3sin(x/2) * sin(3x) = 0