If algsys (or maybe solve) solved the cyclotomic polynomials using trigonometric functions instead of radicals, the to_poly_solver would give a simpler solution for cos(2*x) = 1/2 - sin(x), I think. We're too much in love with messy solutions in radicals when a simple trigonometric function would do the job. Barton