solve sin(2x)+ cos(2x) = tan(x)