Details

simplify33.3m

Calls

12930 calls:

Slowest
1.6s
(/ (/ (* c a) -1/2) a)
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
(/ (* (* 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)))))
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))))
1.4s
(/ (* (* 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)))))

prune2.4m

sample1.4m

Algorithm
62×intervals
Results
31.3s246209×body80valid
11.1s13668×body1280valid
8.6s16589×body160valid
6.1s3908×body2560valid
5.1s9095×body640valid
4.2s75745×pre80true
3.6s1996×body10240exit
2.6s6539×body320valid
2.1s19045×body80nan
740.0ms239×body5120valid

series43.4s

Calls

310 calls:

Slowest
17.2s
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (/ (/ (- (* (- 729 (* (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1))))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))))) (* (+ (* 3 (* x1 x1)) (* 2 x2)) (- (* x1 x1) 1))) (* (+ (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1))))) (+ (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) 9) 81)) (* (- (* (* x1 x1) (* x1 x1)) 1) (+ (* (/ x1 (+ 1 (* x1 x1))) (* (/ x1 (+ 1 (* x1 x1))) (/ x1 (+ 1 (* x1 x1))))) 27)))) (* (- (* x1 x1) 1) (+ (* (* (/ x1 (+ (* x1 x1) 1)) (- 3 (/ x1 (+ (* x1 x1) 1)))) (+ 9 (* (/ x1 (+ (* x1 x1) 1)) (- 3 (/ x1 (+ (* x1 x1) 1)))))) 81))) (* (+ 9 (* (/ x1 (+ (* x1 x1) 1)) (+ -3 (/ x1 (+ (* x1 x1) 1))))) (+ (* x1 x1) 1)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
2.3s
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (/ (- (* (+ (* (* 3 x1) x1) (* 2 x2)) (- 9 (* (/ x1 (+ (* x1 x1) 1)) (- 3 (/ x1 (+ (* x1 x1) 1)))))) (* (+ (* x1 x1) 1) (+ 27 (* (/ x1 (+ (* x1 x1) 1)) (* (/ x1 (+ (* x1 x1) 1)) (/ x1 (+ (* x1 x1) 1))))))) (* (+ 9 (* (/ x1 (+ (* x1 x1) 1)) (+ -3 (/ x1 (+ (* x1 x1) 1))))) (+ (* x1 x1) 1)))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
730.0ms
(- (* (- 729 (* (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1))))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))))) (* (+ (* 3 (* x1 x1)) (* 2 x2)) (- (* x1 x1) 1))) (* (+ (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1))))) (+ (* (* (- 3 (/ x1 (+ 1 (* x1 x1)))) (/ x1 (+ 1 (* x1 x1)))) 9) 81)) (* (- (* (* x1 x1) (* x1 x1)) 1) (+ (* (/ x1 (+ 1 (* x1 x1))) (* (/ x1 (+ 1 (* x1 x1))) (/ x1 (+ 1 (* x1 x1))))) 27))))
466.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (+ (* (* 3 x1) x1) (* 2 x2)) (+ (* x1 x1) 1)) (+ (/ x1 (+ (* x1 x1) 1)) 3))) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
394.0ms
(+ (* (* (* 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)))

rewrite33.4s

Algorithm
101×rewrite-expression-head
Calls

310 calls:

Slowest
3.4s
(exp (log (exp (+ (+ (+ (+ c a) e) d) b))))
1.2s
(exp (+ (+ (+ (+ c a) e) d) b))
1.1s
(+ (+ (+ (* 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)))
991.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)))
950.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
64641×frac-times
29273×flip3-- flip--
24882×associate-*l/
21601×associate-*r/
20374×flip-+ flip3-+
17234×frac-sub
16435×frac-add
9775×times-frac
6872×add-sqr-sqrt
6780×*-un-lft-identity
3930×add-cube-cbrt
2031×add-exp-log
1807×add-cbrt-cube
1469×difference-of-squares
1314×pow1
988×associate-*r*
818×distribute-lft-out--
752×add-log-exp
668×prod-exp
643×div-inv
605×cbrt-unprod
574×div-exp
505×associate-/r*
493×sqrt-prod
470×associate-/l*
466×associate-/r/
460×cbrt-undiv
450×distribute-lft-out
444×associate-*l*
436×pow-prod-down
333×cbrt-prod
310×insert-posit16
209×sum-log
152×sqrt-pow1
132×pow-prod-up
129×swap-sqr
127×unswap-sqr
120×unpow-prod-down
97×sqr-pow sub-neg
95×distribute-rgt-neg-in
90×difference-of-sqr-1 *-commutative
83×sqrt-div
82×distribute-lft-neg-in
78×pow-sqr
76×exp-neg
73×cbrt-div
72×log-prod
70×distribute-rgt-in associate-/l/ distribute-lft-in
64×neg-sub0 frac-2neg clear-num
63×exp-prod
59×diff-log
58×exp-diff
57×pow-plus
55×+-commutative
52×pow1/2
50×log-pow
40×exp-sum
37×pow2
36×associate-+l+
35×1-exp rec-exp
33×pow1/3 associate--l+
28×associate-+r+
25×rem-sqrt-square
24×div-sub
22×neg-mul-1 un-div-inv
18×rem-exp-log
17×pow-flip
15×log-div
14×rem-log-exp
10×associate--r+
9×pow-exp distribute-frac-neg pow-to-exp
7×associate--l-
6×pow-unpow inv-pow
5×cube-unmult pow3
4×neg-log distribute-lft-neg-out
3×distribute-lft1-in sqrt-unprod distribute-rgt-out
2×pow-pow rem-square-sqrt e-exp-1
1×remove-posit16 associate-+r- sqrt-undiv sub0-neg distribute-neg-frac rem-cbrt-cube unsub-neg distribute-rgt1-in

regimes5.3s

Accuracy

Total 29.3b remaining (13.5%)

10.9b38.5%Compound Interest
4.4b76.7%Kahan p9 Example
3.0b88.3%The quadratic formula (r2)
2.6b0%Complex division, real part
2.1b0%Expression, p6

localize3.8s

bsearch1.6s

end1.0ms