; seed : #(1064015261 1633385882 1897860400 2826388462 3691363098 2536607743)

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