; seed : #(1065512462 304955665 3453608529 2798121886 4060785358 1530871378)

; flags :
;   rules      = (numerics arithmetic polynomials fractions exponents trigonometry)
;   setup      = (simplify)
;   reduce     = (taylor simplify avg-error)
;   generate   = (rr taylor simplify)
;   precision  = (double)