solve x-sin x=pi/2