; seed : #(1567391828 2030694642 2833800258 828025724 3004380912 3532991858)

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