Details

simplify13.3s (72.9%)

sample3.9s (21.5%)

Algorithm
6×intervals
Results
1.3s2967×body2560valid
1.2s7514×body1280valid
417.0ms4279×body640valid
284.0ms10122×body80valid
132.0ms1831×body320valid
56.0ms812×body160valid

series403.0ms (2.2%)

Calls

6 calls:

183.0ms
(/ (* (* x (* x x)) (+ 8 (* x (* x x)))) (* (* x x) (+ (+ (* x x) 4) (* x -2))))
59.0ms
(+ (* x x) (* 2 x))
59.0ms
(* x (+ x 2))
38.0ms
(* x (* x x))
34.0ms
(* x (* x x))

prune329.0ms (1.8%)

rewrite236.0ms (1.3%)

Algorithm
5×rewrite-expression-head
Calls

6 calls:

88.0ms
(* (* x x) (+ (+ (* x x) 4) (* x -2)))
82.0ms
(/ (* (* x (* x x)) (+ 8 (* x (* x x)))) (* (* x x) (+ (+ (* x x) 4) (* x -2))))
19.0ms
(* x (+ x 2))
16.0ms
(* x (* x x))
15.0ms
(* x (* x x))
Rules
77×add-cbrt-cube add-exp-log
41×pow1
40×cbrt-unprod prod-exp
16×add-sqr-sqrt
13×*-un-lft-identity
12×div-exp cbrt-undiv
11×add-cube-cbrt
10×associate-*l* pow-prod-down pow-prod-up
9×associate-*r*
8×add-log-exp associate-*r/
6×insert-posit16
5×flip-+ flip3-+
4×unswap-sqr *-commutative
2×pow-plus pow2 associate-/r/ distribute-rgt-in distribute-lft-in associate-/l/ cube-unmult pow-sqr
1×distribute-lft-out +-commutative clear-num associate-/r* div-inv sum-log distribute-rgt-out frac-2neg associate-/l* times-frac

localize40.0ms (0.2%)

regimes18.0ms (0.1%)

Accuracy

Total 0.0b remaining (91.3%)

Threshold costs 0.0b (91.3%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)