Details

simplify34.9m

Calls

13161 calls:

Slowest
3.3s
(* (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))))
3.2s
(* (* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))) (* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))))
2.9s
(* (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))))
2.7s
(* (* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))))
2.6s
(* (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (* (/ (* (* (* 2 2) 2) (* (* t t) t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))))

prune2.5m

sample1.5m

Algorithm
64×intervals
Results
37.5s270162×body80valid
12.5s13868×body1280valid
8.3s16716×body160valid
7.0s9399×body640valid
4.8s3822×body2560valid
4.5s75796×pre80true
3.5s2051×body10240exit
2.7s6811×body320valid
2.5s19272×body80nan
286.0ms216×body5120valid

series28.1s

Calls

317 calls:

Slowest
735.0ms
(log (* (cbrt (exp (* x (+ -1/2 (* x 1/3))))) (cbrt (exp (* x (+ -1/2 (* x 1/3)))))))
695.0ms
(log (cbrt (exp (* x (+ -1/2 (* x 1/3))))))
569.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)))))
541.0ms
(+ (* (* (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6)) (cbrt (- (* 4 (/ (- (* x2 2) (- x1 (* (* 3 x1) x1))) (+ 1 (* x1 x1)))) 6))) (* (cbrt (- (* 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)))))
538.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))))

rewrite25.6s

Algorithm
104×rewrite-expression-head
Calls

317 calls:

Slowest
985.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)))
968.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)))
947.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)))
910.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)))
887.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
8946×times-frac
6561×add-sqr-sqrt
6218×*-un-lft-identity
3522×add-cube-cbrt
2748×add-exp-log
2622×add-cbrt-cube
1708×pow1
1473×difference-of-squares
1115×prod-exp
1068×cbrt-unprod
976×associate-*r*
820×distribute-lft-out--
734×div-exp
707×add-log-exp
680×cbrt-undiv
627×associate-*l/
622×div-inv
545×associate-/r/
507×flip3-- flip--
470×cbrt-div
464×pow-prod-down
460×associate-*l*
456×associate-/r*
441×frac-times
423×associate-*r/
380×distribute-lft-out
371×associate-/l*
345×pow-prod-up
328×flip-+ flip3-+
317×insert-posit16
271×exp-prod
231×unpow-prod-down
210×sqrt-pow1
187×frac-add
165×log-pow
164×sum-log
152×sqrt-prod
146×pow-sqr
140×swap-sqr
133×sqr-pow
120×pow-plus
119×cbrt-prod
97×*-commutative
90×difference-of-sqr-1 unswap-sqr
87×pow2 sub-neg
73×associate-/l/
71×log-prod
68×frac-2neg clear-num
67×sqrt-div
63×diff-log
62×distribute-rgt-neg-in
61×distribute-rgt-in distribute-lft-in
58×distribute-lft-neg-in
57×exp-sum
49×cube-prod
47×+-commutative
43×pow1/2
40×pow1/3
32×distribute-rgt-out
29×frac-sub
26×div-sub
25×rem-log-exp
21×cube-unmult
20×1-exp rec-exp neg-mul-1
19×pow-flip
18×associate-+l+ associate--l+
17×rem-sqrt-square
14×rem-exp-log
13×associate-+r+
12×pow-exp
11×pow-to-exp distribute-rgt1-in
10×log-div
9×pow-unpow unpow3 distribute-frac-neg distribute-lft-neg-out cube-mult
8×pow-pow
7×inv-pow
6×distribute-rgt-neg-out
5×exp-diff distribute-rgt-out-- neg-sub0 associate--l- associate--r+ exp-to-pow
4×pow3 sum-cubes
3×neg-log unsub-neg
2×rem-cube-cbrt sqrt-unprod rem-square-sqrt
1×distribute-lft1-in remove-posit16 associate-+r- sub0-neg sub-div difference-cubes associate-+l- rem-cbrt-cube un-div-inv associate--r- e-exp-1

regimes6.3s

Accuracy

Total 30.7b remaining (14%)

12.0b55.9%Compound Interest
4.9b75.3%Kahan p9 Example
3.0b0%Complex division, imag part
2.4b0%Complex division, real part
2.0b0%Expression, p6

localize3.9s

bsearch2.0s

end1.0ms