; seed : #(1070258749 1877548225 2229079127 1588002776 3179087814 1886870650)

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

