Details

series6.8m (73.6%)

Calls

338 calls:

6.1m
(/ (/ i n) (cbrt (/ (/ (+ (pow (+ 1.0 (/ i n)) (* 2 (* 2 n))) (- (* (* 1.0 1.0) (* 1.0 1.0)))) (+ (pow (+ 1.0 (/ i n)) (* 2 n)) (* 1.0 1.0))) (+ (pow (+ 1.0 (/ i n)) n) 1.0))))
15.0s
(/ (/ (/ (+ (pow (+ 1.0 (/ i n)) (* 2 (* 2 n))) (- (* (* 1.0 1.0) (* 1.0 1.0)))) (+ (pow (+ 1.0 (/ i n)) (* 2 n)) (* 1.0 1.0))) (+ (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n))
2.0s
(/ (/ (+ (pow (+ 1.0 (/ i n)) (* 2 n)) (- (* 1.0 1.0))) (+ (pow (+ 1.0 (/ i n)) n) 1.0)) (/ i n))
1.1s
(/ (+ (* (* (* (* 2.0 x1) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (* (+ (* x1 x1) 1.0) (* (* x1 x1) (- (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* 6.0 6.0))))) (* (- (* (* x1 x1) (* x1 x1)) (* 1.0 1.0)) (- (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* 6.0 6.0))))
780.0ms
(/ (+ (* (* (* (* 2.0 x1) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (* (+ (* x1 x1) 1.0) (* (* x1 x1) (- (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* 6.0 6.0))))) (* (+ (* x1 x1) 1.0) (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))

prune50.9s (9.2%)

rewrite44.9s (8.1%)

Algorithm
113×rewrite-expression-head
Calls

338 calls:

5.8s
(/ (+ (* (* (* (* 2.0 x1) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (* (+ (* x1 x1) 1.0) (* (* x1 x1) (- (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* 6.0 6.0))))) (* (- (* (* x1 x1) (* x1 x1)) (* 1.0 1.0)) (- (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* 6.0 6.0))))
5.4s
(/ (+ (* (* (* (* 2.0 x1) (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (* (+ (* x1 x1) 1.0) (* (* x1 x1) (- (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* 6.0 6.0))))) (* (+ (* x1 x1) 1.0) (+ (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
5.3s
(+ (+ (* (+ (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (+ (* (- 3.0) (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (+ (* x1 x1) 1.0)) (* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* (* x1 x1) x1))
2.4s
(+ (+ (* 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)))
1.5s
(* (* x1 x1) (- (* (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))) (* 6.0 6.0)))
Rules
14035×times-frac
9962×*-un-lft-identity
8000×add-sqr-sqrt
6093×add-cube-cbrt
2441×add-exp-log
1938×add-cbrt-cube
1526×distribute-lft-out
1311×sqrt-prod
1275×cbrt-prod
1189×associate-*r/
1098×associate-*r*
894×unpow-prod-down
835×pow1
832×associate-/r/
819×frac-times
804×prod-exp
776×div-exp
760×flip-+ flip3-+
750×add-log-exp
731×flip-- flip3--
698×difference-of-squares
684×div-inv
627×cbrt-unprod
620×associate-/r*
605×associate-*l*
517×associate-/l/
506×cbrt-undiv
461×associate-/l* frac-add
450×associate-*l/
401×distribute-lft-out--
399×sqr-pow
302×swap-sqr
222×cube-prod
209×unswap-sqr
206×unpow2
185×pow-prod-down
169×sqrt-div
151×sum-log
102×sub-neg
94×1-exp
86×diff-log
80×*-commutative pow-exp
70×clear-num frac-2neg
68×pow-to-exp
64×rec-exp
62×log-prod
56×distribute-rgt-neg-in
55×distribute-rgt-in distribute-lft-in
47×+-commutative sqrt-pow1
46×pow1/2
40×pow-unpow exp-sum div-sub
37×associate-+l+
36×rem-sqrt-square
34×pow-prod-up
30×distribute-lft-neg-in
29×frac-sub
28×pow-sqr
26×pow-pow
25×associate-+r+
23×cube-div cbrt-div
22×pow-plus
21×unpow3 cube-mult
20×pow2
17×neg-sub0 exp-prod
14×rem-cube-cbrt log-pow log-div
13×pow1/3 associate--l+
12×neg-log
11×distribute-rgt-out--
10×difference-cubes neg-mul-1
9×associate--l- associate-+r- pow-flip associate--r+
7×inv-pow unsub-neg
6×exp-diff rem-cbrt-cube
5×sum-cubes associate-+l- exp-to-pow rem-log-exp
4×rem-exp-log distribute-lft-neg-out distribute-frac-neg
3×un-div-inv
2×distribute-lft1-in distribute-rgt-out associate--r-
1×sqrt-unprod cube-unmult sub-div rem-square-sqrt +-inverses

sample33.1s (6.0%)

Algorithm
73×intervals
Results
9.4s294154×body80valid
4.6s13600×body1280valid
2.4s3836×body2560valid
1.9s16884×body160valid
1.8s9624×body640valid
1.3s100608×pre80true
974.0ms2128×body10240exit
715.0ms6915×body320valid
526.0ms19193×body80nan
103.0ms250×body5120valid
3.0ms100×pre80false

simplify11.6s (2.1%)

Algorithm
183×egg-herbie

regimes3.6s (0.6%)

Accuracy

Total 26.0b remaining (6%)

Threshold costs 4.6b (1.1%)

10.9b47.8%Compound Interest
4.7b76.5%Kahan p9 Example
2.2b25.6%Complex division, real part
1.4b0%Rosa's DopplerBench
1.2b95%The quadratic formula (r2)

localize1.6s (0.3%)

bsearch1.0s (0.2%)

end1.0ms (0.0%)