Details

simplify4.5s (52.3%)

sample3.6s (42.1%)

Algorithm
intervals
Results
1.1s7554×body1280valid
966.0ms2960×body2560valid
645.0ms4252×body640valid
206.0ms10118×body80valid
82.0ms1786×body320valid
26.0ms852×body160valid

series201.0ms (2.3%)

Calls

3 calls:

93.0ms
(fma (+ 1.0 x) (+ 1.0 x) (- 1.0))
61.0ms
(+ (* x x) (* x 2.0))
46.0ms
(* x (+ x 2.0))

prune200.0ms (2.3%)

localize34.0ms (0.4%)

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

regimes22.0ms (0.3%)

Accuracy

Total 0.0b remaining (56.1%)

Threshold costs 0.0b (56.1%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)