maximize 10*(1+x/(2(sin(x))^2)-cotan(x)/2)/(2x/sin(x)) for x from 0 to pi/2