solve sin(2*x-π/3)=sin(π/4-3*x)for x real