Details

simplify8.4s (60.3%)

sample4.3s (30.9%)

Algorithm
6×intervals
Results
1.7s7660×body1280valid
1.0s2935×body2560valid
619.0ms4197×body640valid
307.0ms10138×body80valid
152.0ms1796×body320valid
38.0ms843×body160valid

prune727.0ms (5.2%)

series381.0ms (2.7%)

Calls

5 calls:

Slowest
115.0ms
(/ (* (- 4 (* x x)) x) (- 2 x))
109.0ms
(* (- 4 (* x x)) (/ x (- 2 x)))
72.0ms
(* (- 4 (* x x)) x)
61.0ms
(* (+ 2 x) x)
24.0ms
(/ x (- 2 x))

rewrite74.0ms (0.5%)

Algorithm
5×rewrite-expression-head
Calls

5 calls:

Slowest
21.0ms
(* (- 4 (* x x)) (/ x (- 2 x)))
16.0ms
(/ (* (- 4 (* x x)) x) (- 2 x))
14.0ms
(* (+ 2 x) x)
12.0ms
(* (- 4 (* x x)) x)
7.0ms
(/ x (- 2 x))
Rules
60×add-sqr-sqrt
51×*-un-lft-identity
36×times-frac
31×add-cube-cbrt
27×associate-*r*
21×add-cbrt-cube add-exp-log
12×associate-*l*
11×difference-of-squares pow1
10×associate-/r*
9×distribute-lft-out--
8×associate-*l/
7×flip3-- flip--
6×associate-/r/
5×add-log-exp cbrt-unprod insert-posit16 prod-exp
4×div-exp unswap-sqr cbrt-undiv associate-/l*
3×pow-prod-down div-inv *-commutative
2×frac-times clear-num associate-/l/ frac-2neg
1×distribute-lft-out flip-+ flip3-+ associate-*r/

localize35.0ms (0.3%)

regimes17.0ms (0.1%)

Accuracy

Total 0.0b remaining (84.2%)

Threshold costs 0.0b (84.2%)

0.0b0%Expanding a square

bsearch1.0ms (0.0%)

end0.0ms (0.0%)