Details

simplify10.6s

Calls

253 calls:

Slowest
550.0ms
(- (* (+ x 1) (+ x 1)) 1)
474.0ms
(* (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* (/ x (- 2 x)) (/ x (- 2 x))) (/ x (- 2 x))))
359.0ms
(* (* (* (+ 2 x) (+ 2 x)) (+ 2 x)) (* (* x x) x))
300.0ms
(/ (* (* (+ (* (* x x) (* x x)) (* 8 x)) (+ (* (* x x) (* x x)) (* 8 x))) (+ (* (* x x) (* x x)) (* 8 x))) (* (* (+ (* 2 2) (- (* x x) (* 2 x))) (+ (* 2 2) (- (* x x) (* 2 x)))) (+ (* 2 2) (- (* x x) (* 2 x)))))
281.0ms
(+ (* (* 2 2) (* 2 2)) (- (* (- (* x x) (* 2 x)) (- (* x x) (* 2 x))) (* (* 2 2) (- (* x x) (* 2 x)))))

sample4.1s

Algorithm
6×intervals
Results
1.6s7622×body1280valid
782.0ms2951×body2560valid
542.0ms4159×body640valid
449.0ms1886×body320valid
348.0ms10096×body80valid
37.0ms796×body160valid

prune1.5s

series591.0ms

Calls

8 calls:

Slowest
138.0ms
(/ (+ (* (* x x) (* x x)) (* 8 x)) (+ (* 2 2) (- (* x x) (* 2 x))))
115.0ms
(/ (* (- 4 (* x x)) x) (- 2 x))
104.0ms
(* (- 4 (* x x)) (/ x (- 2 x)))
69.0ms
(* (- 4 (* x x)) x)
56.0ms
(* (+ 2 x) x)

rewrite168.0ms

Algorithm
6×rewrite-expression-head
Calls

8 calls:

Slowest
66.0ms
(/ (+ (* (* x x) (* x x)) (* 8 x)) (+ (* 2 2) (- (* x x) (* 2 x))))
23.0ms
(* (- 4 (* x x)) (/ x (- 2 x)))
19.0ms
(* (* x x) (* x x))
15.0ms
(/ (* (- 4 (* x x)) x) (- 2 x))
14.0ms
(* (+ 2 x) x)
Rules
125×pow1
71×add-sqr-sqrt
62×*-un-lft-identity
45×times-frac
42×add-cube-cbrt
38×add-cbrt-cube add-exp-log
36×pow-prod-up
28×associate-*r*
26×pow-prod-down
22×pow-sqr
18×pow-plus
13×associate-*l* pow2 associate-/r* cbrt-unprod prod-exp
11×difference-of-squares
10×add-log-exp
9×distribute-lft-out--
8×associate-/r/ flip3-- associate-*l/ insert-posit16 flip--
7×associate-/l*
5×div-exp unswap-sqr cbrt-undiv
4×associate-/l/ div-inv *-commutative
3×frac-2neg clear-num flip-+ flip3-+
2×frac-times
1×distribute-lft-out sub-neg swap-sqr distribute-rgt-out-- associate-*r/ diff-log

localize56.0ms

regimes22.0ms

Accuracy

Total 0.0b remaining (68.2%)

0.0b0%Expanding a square

bsearch1.0ms

end0.0ms