solve sin(2x)-1= tan(x)