Details

simplify5.2m (51.4%)

rewrite1.5m (14.5%)

Algorithm
111×rewrite-expression-head
Calls

320 calls:

40.0s
(/ (+ (* (* (+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 2))) 2.0) 33096.0) (* (+ (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* 5.5 (pow 33096.0 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))) 77617.0)) (* (+ (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))) (* (* (* 5.5 (pow (* (cbrt 33096.0) (cbrt 33096.0)) 8.0)) (pow (cbrt 33096.0) 8.0)) (- (* 5.5 (pow 33096.0 8.0)) (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0)))))) (* 2.0 33096.0)))
5.9s
(+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 3))
4.2s
(+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 2)))
4.1s
(+ (pow (* 5.5 (pow 33096.0 8.0)) 3) (* (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) (pow (+ (* (* 77617.0 77617.0) (+ (+ (* -121.0 (pow 33096.0 4.0)) (- (* (* 11.0 (* 77617.0 77617.0)) (* 33096.0 33096.0)) (pow 33096.0 6.0))) -2.0)) (* 333.75 (pow 33096.0 6.0))) 2)))
4.0s
(+ (+ (* 333.75 (pow y 6.0)) (* (* x x) (- (- (- (* (* (* (* 11.0 x) x) y) y) (pow y 6.0)) (* 121.0 (pow y 4.0))) 2.0))) (* 5.5 (pow y 8.0)))
Rules
7517×times-frac
5524×*-un-lft-identity
5229×add-sqr-sqrt
3523×add-cube-cbrt
1473×add-exp-log
1278×add-cbrt-cube
855×difference-of-squares
708×add-log-exp
707×associate-*r/
688×flip-+ flip3-+
647×pow1
629×associate-*r* distribute-lft-out
596×sqrt-prod
584×frac-times
572×unpow-prod-down
532×associate-*l*
513×associate-/r/
450×associate-/r*
449×associate-*l/
429×distribute-lft-out--
428×prod-exp
412×frac-add
406×div-inv
389×flip3-- flip--
377×associate-/l*
349×div-exp
348×cbrt-unprod
291×cbrt-undiv
287×cbrt-prod
253×sqr-pow
178×cbrt-div
159×sum-log
130×unswap-sqr
128×pow-prod-down
125×associate-/l/
101×unpow2
100×sub-neg
94×cube-prod
90×frac-sub
87×swap-sqr
80×exp-neg
77×distribute-rgt-in distribute-lft-in
70×sqrt-div *-commutative neg-sub0
68×diff-log
66×distribute-rgt-neg-in
64×exp-diff
60×clear-num frac-2neg
57×distribute-lft-neg-in
51×+-commutative pow-exp
44×pow-unpow
41×pow-to-exp
40×rem-sqrt-square associate-+r+
38×pow1/3
37×sqrt-pow1
33×pow1/2
26×associate-+l+
25×cube-mult div-sub
24×unpow3
23×un-div-inv pow-pow
22×cube-div
19×neg-mul-1
17×1-exp rec-exp
16×log-prod
13×pow-prod-up pow-sqr
11×pow2 pow-plus
10×log-div
9×rem-cube-cbrt
8×distribute-frac-neg exp-prod associate--r+
7×distribute-rgt-out neg-log rem-cbrt-cube associate--l+
6×distribute-lft-neg-out exp-sum
5×associate--l- inv-pow log-pow pow-flip
4×associate-+r-
3×unsub-neg sum-cubes associate-+l- rem-log-exp
2×sqrt-pow2 rem-exp-log cube-unmult unpow-prod-up
1×distribute-lft1-in distribute-rgt-out-- sub-div

sample1.3m (12.3%)

Algorithm
73×intervals
Results
27.8s293166×body80valid
10.1s13730×body1280valid
4.3s16763×body160valid
4.1s3825×body2560valid
4.0s9648×body640valid
3.8s100591×pre80true
2.8s2085×body10240exit
2.0s19379×body80nan
2.0s6894×body320valid
177.0ms239×body5120valid
4.0ms100×pre80false

series1.1m (10.7%)

Calls

320 calls:

18.4s
(/ (/ (/ (- (pow (+ 1.0 (/ i n)) (* 2 (* 2 n))) (* 1.0 (pow 1.0 3))) (+ (pow (+ 1.0 (/ i n)) (* 2 n)) (* 1.0 1.0))) (+ (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n))
2.5s
(/ (/ (- (pow (+ 1.0 (/ i n)) (* 2 n)) (* 1.0 1.0)) (+ (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n))
1.6s
(/ (+ 2.0 (pow (sqrt (* (/ t (+ 1.0 t)) 2.0)) (+ 3 1))) (sqrt (+ 1.0 (pow (sqrt (* (/ t (+ 1.0 t)) 2.0)) (+ 3 1)))))
1.2s
(+ (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (+ (* (* 3.0 x1) x1) (* (* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) (* 2.0 x1)) (+ (* x1 x1) 1.0)))) (* (+ (* x1 x1) 1.0) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))))
956.0ms
(cbrt (+ (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (+ (* (* 3.0 x1) x1) (* (* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) (* 2.0 x1)) (+ (* x1 x1) 1.0)))) (* (+ (* x1 x1) 1.0) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))))

prune58.2s (9.5%)

regimes4.8s (0.8%)

Accuracy

Total 29.9b remaining (6.9%)

Threshold costs 4.6b (1.1%)

13.5b47.3%Compound Interest
4.2b78.4%Kahan p9 Example
2.2b25%Complex division, real part
1.7b0%Complex division, imag part
1.3b0%Rosa's DopplerBench

localize2.9s (0.5%)

bsearch1.8s (0.3%)

end0.0ms (0.0%)