arccot( (sin(pi/18)/cos(pi/9)+cos(8*pi/18) )/sin (8*pi/18) )