Details

simplify27.2m

Calls

10987 calls:

Slowest
1.6s
(/ (* (* 0.125 0.125) 0.125) (/ (/ (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (- 3 (* 2 v)) (- 3 (* 2 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 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))
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.4s
(* (/ (* (* (* 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
(* (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))))

prune2.0m

sample1.5m

Algorithm
63×intervals
Results
35.3s260677×body80valid
11.8s13861×body1280valid
7.9s16810×body160valid
6.5s9305×body640valid
5.2s3954×body2560valid
3.9s6817×body320valid
3.7s75644×pre80true
3.3s1927×body10240exit
2.5s19435×body80nan
283.0ms255×body5120valid

rewrite1.2m

Algorithm
100×rewrite-expression-head
Calls

298 calls:

Slowest
42.0s
(+ (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)))) (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* x1 x1))) (* -6 (* x1 x1)))
3.3s
(+ (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* x1 x1))) (* -6 (* x1 x1)))
992.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)))
981.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)))
901.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
141084×times-frac
78520×add-sqr-sqrt
76175×*-un-lft-identity
37710×add-cube-cbrt
16625×difference-of-squares
13377×distribute-lft-out--
8674×div-inv
6941×associate-/r/
4440×distribute-lft-out
1948×flip3-- flip--
1763×associate-/r*
1664×flip-+ flip3-+
1478×add-exp-log
1359×add-cbrt-cube
1014×pow1
756×add-log-exp
645×sqrt-prod
546×associate-*r*
449×frac-sub
448×prod-exp
422×cbrt-unprod
407×associate-/l*
379×exp-prod
378×associate-*l*
364×div-exp
317×log-pow
307×cbrt-undiv
298×insert-posit16
259×pow-prod-down
252×unpow-prod-down
203×sum-log
200×sqr-pow
182×difference-of-sqr-1
176×associate-*r/
162×frac-times
131×associate-*l/
120×cbrt-div
109×sqrt-div
93×pow-prod-up unswap-sqr
89×swap-sqr
88×log-prod
83×sub-neg
71×distribute-rgt-neg-in
67×frac-add
65×associate-/l/
63×*-commutative
62×+-commutative diff-log
58×frac-2neg clear-num
57×pow-sqr
55×pow-plus
54×distribute-lft-neg-in
49×exp-sum
45×cbrt-prod
38×distribute-rgt-in distribute-lft-in
37×sqrt-pow1 pow1/2
34×pow2
28×rem-sqrt-square
27×cube-prod
24×associate-+l+ pow-unpow
23×distribute-rgt-out
22×associate-+r+
20×1-exp rec-exp
19×pow-exp pow-flip div-sub
18×associate--l+ neg-mul-1 rem-exp-log
17×pow-to-exp
14×rem-log-exp
13×log-div
12×pow1/3
11×neg-sub0 sum-cubes cube-mult
10×pow-pow
8×neg-log
7×distribute-frac-neg associate--l- exp-to-pow distribute-rgt1-in
6×difference-of-sqr--1 inv-pow
5×pow3 associate--r+ associate-+l-
4×rem-cube-cbrt distribute-lft-neg-out unpow3
3×distribute-lft1-in exp-diff
2×sqrt-undiv cube-unmult un-div-inv cube-div rem-cbrt-cube e-exp-1
1×associate-+r- distribute-rgt-neg-out sub0-neg sqrt-unprod rem-square-sqrt unsub-neg associate--r-

series26.0s

Calls

298 calls:

Slowest
543.0ms
(cbrt (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))
539.0ms
(/ (log (exp (- (pow (+ (/ i n) 1) n) 1))) (/ i n))
507.0ms
(cbrt (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))
502.0ms
(+ (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* x1 x1))) (* -6 (* x1 x1)))
470.0ms
(cbrt (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))

regimes5.5s

Accuracy

Total 31.0b remaining (13.5%)

10.6b55.7%Compound Interest
4.9b75.7%Kahan p9 Example
4.8b83.2%The quadratic formula (r1)
2.7b0%Complex division, imag part
1.9b0%Expression, p6

localize5.1s

bsearch1.5s

end1.0ms