Details

simplify4.2s (49.6%)

sample3.8s (45.4%)

Algorithm
intervals
Results
1.5s7474×body1280valid
948.0ms2866×body2560valid
423.0ms4279×body640valid
165.0ms10091×body80valid
151.0ms1911×body320valid
60.0ms848×body160valid

series190.0ms (2.2%)

Calls

3 calls:

87.0ms
(fma (+ 1.0 x) (+ 1.0 x) (- 1.0))
57.0ms
(+ (* x x) (* x 2.0))
46.0ms
(* x (+ x 2.0))

prune165.0ms (1.9%)

rewrite26.0ms (0.3%)

Algorithm
rewrite-expression-head
Calls

3 calls:

15.0ms
(* x (+ x 2.0))
6.0ms
(+ (* x x) (* x 2.0))
2.0ms
(fma (+ 1.0 x) (+ 1.0 x) (- 1.0))
Rules
*-un-lft-identity add-sqr-sqrt
add-cube-cbrt add-log-exp add-cbrt-cube pow1 add-exp-log
associate-*r*
expm1-log1p-u associate-*l* log1p-expm1-u
distribute-lft-out associate-*r/ flip-+ flip3-+
sum-log cbrt-unprod fma-def prod-exp unswap-sqr pow-prod-down distribute-rgt-in fma-udef distribute-lft-in +-commutative *-commutative

regimes23.0ms (0.3%)

Accuracy

Total 0.0b remaining (95%)

Threshold costs 0.0b (95%)

0.0b0%Expanding a square

localize20.0ms (0.2%)

bsearch0.0ms (0.0%)

end0.0ms (0.0%)