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