Details

simplify11.1s (67.5%)

sample4.5s (27.2%)

Algorithm
6×intervals
Results
1.6s7589×body1280valid
1.0s2927×body2560valid
575.0ms10118×body80valid
487.0ms4294×body640valid
184.0ms1831×body320valid
38.0ms774×body160valid

prune472.0ms (2.9%)

series288.0ms (1.8%)

Calls

4 calls:

106.0ms
(/ (* x (+ -4 (* x x))) (- x 2))
67.0ms
(* x (+ -4 (* x x)))
58.0ms
(* (+ x 2) x)
57.0ms
(+ (* x x) (* 2 x))

rewrite53.0ms (0.3%)

Algorithm
5×rewrite-expression-head
Calls

4 calls:

16.0ms
(* (+ x 2) x)
15.0ms
(/ (* x (+ -4 (* x x))) (- x 2))
11.0ms
(* x (+ -4 (* x x)))
7.0ms
(+ (* x x) (* 2 x))
Rules
18×add-sqr-sqrt
16×*-un-lft-identity
13×add-cbrt-cube add-exp-log
10×add-cube-cbrt
8×pow1
7×associate-*l*
6×add-log-exp associate-*r*
5×associate-/r* times-frac
4×associate-*r/ insert-posit16 flip3-+ flip-+
3×cbrt-unprod prod-exp
2×associate-/r/ distribute-lft-out-- div-exp unswap-sqr difference-of-squares pow-prod-down *-commutative associate-/l/ cbrt-undiv associate-*l/
1×sum-log flip3-- distribute-lft-out +-commutative distribute-rgt-in clear-num div-inv distribute-lft-in flip-- distribute-rgt-out frac-2neg associate-/l*

localize41.0ms (0.2%)

regimes18.0ms (0.1%)

Accuracy

Total 0.0b remaining (91.8%)

Threshold costs 0.0b (91.8%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)