sin (pi/5)^x + cos (pi/5)^x = 1