sin(x+pi/18)/(sin(13pi/18-x))=(tan(8pi/18))/(2tan(7pi/18))-0.5+sqrt(pi-x)-sqrt(pi-x)