Details

simplify27.9m

Calls

10747 calls:

Slowest
1.6s
(/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w r) (* w r)) (* w r)))))
1.5s
(/ (* (* 0.125 0.125) 0.125) (/ (* (* (/ (- 1 v) (- 3 (* 2 v))) (/ (- 1 v) (- 3 (* 2 v)))) (/ (- 1 v) (- 3 (* 2 v)))) (* (* (* (* w w) w) (* (* r r) r)) (* (* (* w r) (* w r)) (* w r)))))
1.5s
(* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))
1.5s
(* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))
1.4s
(/ (* (* 0.125 0.125) 0.125) (/ (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 v))) (- 3 (* 2 v)))) (* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))))

prune2.1m

sample1.5m

Algorithm
64×intervals
Results
35.8s268609×body80valid
11.4s13670×body1280valid
8.6s16942×body160valid
6.3s9451×body640valid
4.9s3737×body2560valid
4.2s75618×pre80true
3.6s2013×body10240exit
2.4s7000×body320valid
2.2s19325×body80nan
327.0ms237×body5120valid

series26.2s

Calls

294 calls:

Slowest
1.9s
(cbrt (* (* 1/2 c) (/ 4 (- (sqrt (+ (* c (* -4 a)) (* b b))) b))))
618.0ms
(+ (* (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6) (* x1 x1)) (* (* (* (- (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1))) 3) x1) 2) (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))))
470.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* (* x1 x1) (* (cbrt (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)) (cbrt (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))) (cbrt (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))
447.0ms
(* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)))
414.0ms
(/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))

rewrite24.0s

Algorithm
98×rewrite-expression-head
Calls

294 calls:

Slowest
1.0s
(+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))
998.0ms
(+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))
972.0ms
(+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
972.0ms
(+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))
916.0ms
(+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8)))
Rules
7029×times-frac
5459×add-sqr-sqrt
5084×*-un-lft-identity
2831×add-cube-cbrt
1937×add-exp-log
1659×add-cbrt-cube
1233×difference-of-squares
1117×pow1
802×prod-exp
732×associate-*r*
725×add-log-exp
686×associate-*r/
685×distribute-lft-out--
646×cbrt-unprod
541×cbrt-div
516×div-inv
470×frac-times
443×associate-*l*
431×flip3-- flip--
420×sqrt-prod
391×associate-/r/
388×div-exp
367×distribute-lft-out pow-prod-down
358×flip-+ flip3-+
356×associate-/r*
338×cbrt-undiv
299×associate-/l*
294×insert-posit16
257×associate-*l/
209×sum-log
160×frac-add
117×unswap-sqr
111×sqrt-div
104×unpow-prod-down
96×pow-prod-up
93×sqr-pow
91×difference-of-sqr-1
86×sub-neg
80×swap-sqr *-commutative
76×associate-/l/
75×cbrt-prod
73×exp-prod
67×log-prod
60×pow-sqr
59×frac-2neg clear-num
57×distribute-rgt-in distribute-lft-in
56×exp-sum
55×distribute-rgt-neg-in diff-log
49×pow-plus +-commutative
42×distribute-lft-neg-in
35×pow2
33×sqrt-pow1 1-exp rec-exp un-div-inv pow1/2
30×rem-sqrt-square
25×frac-sub
24×associate-+l+ log-pow
23×pow1/3
20×div-sub
19×associate--l+
17×associate-+r+ log-div
15×rem-exp-log
14×neg-mul-1
12×rem-log-exp
10×distribute-lft1-in
associate--l- cube-mult
neg-sub0 sum-cubes
pow-exp distribute-frac-neg neg-log associate--r+ distribute-lft-neg-out pow-to-exp
pow-flip cube-prod cube-unmult inv-pow associate-+l- distribute-rgt1-in
difference-of-sqr--1 pow-unpow distribute-rgt-out
remove-posit16 sqrt-undiv pow3 sqrt-unprod e-exp-1
exp-diff associate-+r- unpow3 pow-pow rem-cbrt-cube unsub-neg associate--r-

regimes6.8s

Accuracy

Total 31.3b remaining (14.2%)

10.0b58.6%Compound Interest
4.9b82.4%The quadratic formula (r1)
4.5b78.4%Kahan p9 Example
2.6b0%Complex division, real part
2.4b0%Complex division, imag part

localize3.8s

bsearch2.1s

end1.0ms