solve (3^(1/2))*sin(x) - cos(3x) = 1 for x