solve 2 x - sin (2 x) = Pi/2 for x