Details

simplify49.0s

Calls

302 calls:

Slowest
961.0ms
(* (* (* (/ (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* (- 2 x) (- 2 x)) (- 2 x))) (* (* (/ (- 4 (* x x)) (- 2 x)) (/ (- 4 (* x x)) (- 2 x))) (/ (- 4 (* x x)) (- 2 x)))) (/ (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* (- 2 x) (- 2 x)) (- 2 x)))) (* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x)))
728.0ms
(* (* (* (/ (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* (- 2 x) (- 2 x)) (- 2 x))) (* (* (/ (- 4 (* x x)) (- 2 x)) (/ (- 4 (* x x)) (- 2 x))) (/ (- 4 (* x x)) (- 2 x)))) (/ (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* (- 2 x) (- 2 x)) (- 2 x)))) (* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x)))
703.0ms
(* (* (* (/ (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* (- 2 x) (- 2 x)) (- 2 x))) (/ (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* (- 2 x) (- 2 x)) (- 2 x)))) (/ (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* (- 2 x) (- 2 x)) (- 2 x)))) (* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x)))
698.0ms
(* (* (* (/ (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* (- 2 x) (- 2 x)) (- 2 x))) (/ (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* (- 2 x) (- 2 x)) (- 2 x)))) (/ (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* (- 2 x) (- 2 x)) (- 2 x)))) (* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x)))
674.0ms
(* (* (* (* (* (/ (- 4 (* x x)) (- 2 x)) (/ (- 4 (* x x)) (- 2 x))) (/ (- 4 (* x x)) (- 2 x))) (/ (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* (- 2 x) (- 2 x)) (- 2 x)))) (/ (* (* (- 4 (* x x)) (- 4 (* x x))) (- 4 (* x x))) (* (* (- 2 x) (- 2 x)) (- 2 x)))) (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) x)))

sample4.4s

Algorithm
6×intervals
Results
2.0s7534×body1280valid
813.0ms2959×body2560valid
604.0ms4281×body640valid
350.0ms10162×body80valid
127.0ms1764×body320valid
41.0ms818×body160valid

prune1.6s

rewrite565.0ms

Algorithm
5×rewrite-expression-head
Calls

7 calls:

Slowest
225.0ms
(* (* (* (/ (- 4 (* x x)) (- 2 x)) (/ (- 4 (* x x)) (- 2 x))) (/ (- 4 (* x x)) (- 2 x))) (* (* x x) x))
209.0ms
(cbrt (* (* (* (/ (- 4 (* x x)) (- 2 x)) (/ (- 4 (* x x)) (- 2 x))) (/ (- 4 (* x x)) (- 2 x))) (* (* x x) x)))
62.0ms
(* (* (/ (- 4 (* x x)) (- 2 x)) (/ (- 4 (* x x)) (- 2 x))) (/ (- 4 (* x x)) (- 2 x)))
20.0ms
(* (+ 2 x) x)
15.0ms
(/ (* (- 4 (* x x)) x) (- 2 x))
Rules
254×add-cbrt-cube add-exp-log
173×pow1
144×cbrt-unprod prod-exp
61×pow-prod-down
54×div-exp cbrt-undiv
52×pow-plus pow-prod-up
50×add-sqr-sqrt
38×*-un-lft-identity
36×associate-*r*
35×associate-*l/
26×times-frac
24×add-cube-cbrt
15×frac-times
12×pow2 difference-of-squares pow-sqr
11×associate-*l*
9×associate-*r/
7×cbrt-div insert-posit16 add-log-exp
6×pow3 distribute-lft-out--
5×unswap-sqr associate-/r* *-commutative
4×flip3-- associate-/r/ flip--
2×div-inv associate-/l/
1×frac-2neg flip3-+ distribute-lft-out clear-num rem-cbrt-cube flip-+ pow1/3 cbrt-prod associate-/l*

series505.0ms

Calls

7 calls:

Slowest
130.0ms
(cbrt (* (* (* (/ (- 4 (* x x)) (- 2 x)) (/ (- 4 (* x x)) (- 2 x))) (/ (- 4 (* x x)) (- 2 x))) (* (* x x) x)))
115.0ms
(/ (* (- 4 (* x x)) x) (- 2 x))
73.0ms
(* (- 4 (* x x)) x)
60.0ms
(* (* (* (/ (- 4 (* x x)) (- 2 x)) (/ (- 4 (* x x)) (- 2 x))) (/ (- 4 (* x x)) (- 2 x))) (* (* x x) x))
48.0ms
(* (+ 2 x) x)

localize48.0ms

regimes20.0ms

Accuracy

Total 0.0b remaining (74.4%)

0.0b0%Expanding a square

bsearch1.0ms

end0.0ms