Details

simplify5.3m (51.0%)

rewrite1.6m (15.2%)

Algorithm
110×rewrite-expression-head
Calls

315 calls:

42.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)))
6.6s
(+ (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.5s
(+ (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.4s
(+ (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)))
3.6s
(+ (+ (* 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
7590×times-frac
5638×*-un-lft-identity
5281×add-sqr-sqrt
3525×add-cube-cbrt
1457×add-exp-log
1271×add-cbrt-cube
873×difference-of-squares
696×add-log-exp
673×associate-*r/
664×flip-+ flip3-+
660×distribute-lft-out
631×pow1
607×associate-*r*
588×unpow-prod-down
558×sqrt-prod associate-*l*
516×frac-times
509×associate-/r/
455×associate-/r*
453×distribute-lft-out--
422×prod-exp
412×frac-add associate-*l/
407×div-inv
390×associate-/l*
359×flip3-- flip--
351×div-exp
344×cbrt-unprod
294×cbrt-undiv
287×cbrt-prod
251×sqr-pow
178×cbrt-div
154×sum-log
131×associate-/l/
125×pow-prod-down
123×unswap-sqr
110×cube-prod
102×sub-neg
101×unpow2
87×swap-sqr
80×distribute-rgt-in distribute-lft-in
73×sqrt-div
69×diff-log
67×*-commutative
66×distribute-rgt-neg-in
62×clear-num frac-2neg
57×distribute-lft-neg-in
50×pow-exp
49×+-commutative
44×pow-unpow
42×associate-+r+
40×pow-to-exp
38×pow1/3
37×rem-sqrt-square
36×sqrt-pow1
33×pow1/2
29×div-sub
24×associate-+l+ cube-mult
23×unpow3 pow-pow
22×cube-div
19×neg-mul-1
18×frac-sub
16×1-exp rec-exp
14×neg-sub0
13×pow-prod-up pow-sqr
11×pow2 pow-plus
9×rem-cube-cbrt
8×sum-cubes distribute-frac-neg associate--l+ associate--r+
7×distribute-rgt-out rem-cbrt-cube
6×exp-diff distribute-lft-neg-out exp-neg
5×associate--l- neg-log
4×log-prod
3×un-div-inv inv-pow pow-flip associate-+l-
2×sqrt-pow2 cube-unmult unpow-prod-up associate-+r- associate--r- log-div
1×unsub-neg distribute-lft1-in distribute-rgt-out-- sub-div log-pow rem-log-exp

sample1.3m (12.4%)

Algorithm
73×intervals
Results
26.7s293166×body80valid
11.4s13730×body1280valid
5.2s9648×body640valid
4.6s16763×body160valid
3.9s3825×body2560valid
3.7s2085×body10240exit
2.5s100591×pre80true
2.0s6894×body320valid
1.6s19379×body80nan
274.0ms239×body5120valid
8.0ms100×pre80false

series1.1m (10.4%)

Calls

315 calls:

16.9s
(/ (/ (/ (- (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.7s
(/ (/ (- (pow (+ 1.0 (/ i n)) (* 2 n)) (* 1.0 1.0)) (+ (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n))
1.4s
(/ (+ 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)))))
978.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)))))
922.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.7s (9.5%)

regimes5.1s (0.8%)

Accuracy

Total 29.9b remaining (6.9%)

Threshold costs 4.6b (1.1%)

13.6b47.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%)

end1.0ms (0.0%)