Details

simplify12.6s (72.5%)

sample4.5s (25.9%)

Algorithm
intervals
Results
1.9s7517×body1280valid
862.0ms4386×body640valid
730.0ms2892×body2560valid
314.0ms10133×body80valid
171.0ms1792×body320valid
62.0ms833×body160valid

prune114.0ms (0.7%)

series110.0ms (0.6%)

Calls

2 calls:

56.0ms
(+ (* 2 x) (* x x))
54.0ms
(* x (+ 2 x))

rewrite24.0ms (0.1%)

Algorithm
rewrite-expression-head
Calls

2 calls:

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

localize18.0ms (0.1%)

regimes16.0ms (0.1%)

Accuracy

Total 0.0b remaining (100%)

Threshold costs 0.0b (100%)

0.0b0%Expanding a square

end0.0ms (0.0%)

bsearch0.0ms (0.0%)