[math-fun] sin pi/34

I claim to have at last slightly outsimplified Derive's monomial sqrt(-4*sqrt(sqrt(38*sqrt(17)+170)+3*sqrt(17)+17) -2*sqrt(34-2*sqrt(17))+2*sqrt(17)+30)/8 (nesting depth =4) with (-2^(3/4)*17^(1/8)*sqrt(sqrt(2)*17^(1/4)-sqrt(sqrt(17)-1))*sqrt(sqrt(17)+3) +sqrt(17)+sqrt(34-2*sqrt(17))-1)/16, a quadrinomial with depth 3. (Although Derive's cons_size is less.) --rwg __________________________________________________ Do You Yahoo!? Tired of spam? Yahoo! Mail has the best spam protection around http://mail.yahoo.com