Details

simplify28.2s (86.6%)

sample3.7s (11.4%)

Algorithm
6×intervals
Results
1.1s7612×body1280valid
753.0ms4270×body640valid
708.0ms2929×body2560valid
487.0ms10122×body80valid
129.0ms1857×body320valid
53.0ms816×body160valid

prune250.0ms (0.8%)

series221.0ms (0.7%)

Calls

6 calls:

60.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
56.0ms
(+ (* x 2.0) (* x x))
46.0ms
(* x (+ 2.0 x))
23.0ms
(+ x (+ y z))
19.0ms
(* (+ x 1.0) (+ x 1.0))

rewrite138.0ms (0.4%)

Algorithm
5×rewrite-expression-head
Calls

6 calls:

34.0ms
(* (+ x 1.0) (+ x 1.0))
28.0ms
(+ (+ x y) z)
24.0ms
(+ x (+ y z))
20.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
18.0ms
(* x (+ 2.0 x))
Rules
43×*-un-lft-identity
20×add-log-exp add-sqr-sqrt
15×distribute-lft-out add-cube-cbrt pow1
10×flip3-+ flip-+ add-exp-log add-cbrt-cube
8×associate-*r* fma-def
7×sum-log associate-*l*
6×log1p-expm1-u swap-sqr expm1-log1p-u
4×associate-*r/ frac-times
3×distribute-rgt-in +-commutative distribute-lft-in prod-diff
2×pow-prod-down unswap-sqr *-commutative associate-*l/ cbrt-unprod associate--l+ prod-exp
1×flip-- sub-neg diff-log pow-sqr fma-neg associate-+l+ pow2 flip3-- difference-of-squares pow-plus pow-prod-up associate-+r+

localize24.0ms (0.1%)

regimes13.0ms (0.0%)

Accuracy

Total 0.0b remaining (92.3%)

Threshold costs 0.0b (92.3%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)