solve 200 * ( sin^11(pi/n) / ( 1 + cos(pi/n ) ) ) ^ (1/10) = 1 for n >= 2 in reals