Details

series1.6m (32.5%)

Calls

439 calls:

4.6s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
4.6s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ (* (cbrt l) (cbrt l)) (* (cbrt Om) (cbrt Om))) 2.0)) (pow (/ (cbrt l) (cbrt Om)) 2.0)) (- U U*)))))
4.5s
(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
4.4s
(sqrt (* (* (* (* 2.0 n) U) (* (cbrt (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))) (cbrt (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))) (cbrt (- (- t (* 2.0 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))
1.3s
(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ l (/ Om l)))) (* (* (* n (pow (/ (* (cbrt l) (cbrt l)) (* (cbrt Om) (cbrt Om))) 2.0)) (pow (/ (cbrt l) (cbrt Om)) 2.0)) (- U U*))))

sample1.4m (28.3%)

Algorithm
61×intervals
Results
16.3s30040×body1280valid
15.3s253709×body80valid
9.6s160766×body80nan
8.7s8893×body2560valid
7.0s19892×body640valid
5.3s3319×body5120valid
2.4s10131×body320valid
1.3s9064×body160valid
467.0ms715×body10240exit
146.0ms643×body1280nan
114.0ms659×body640nan
102.0ms8256×pre80true
41.0ms321×body320nan
16.0ms179×body160nan

prune1.1m (21.5%)

rewrite25.6s (8.5%)

Algorithm
115×rewrite-expression-head
Calls

439 calls:

1.7s
(/ NdChar (cbrt (pow (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))) 3)))
1.2s
(* (* (* (* (pow (cbrt t) 3.0) (/ (pow (cbrt t) 3.0) l)) (* (/ (pow (cbrt t) 3.0) l) (sin k))) (tan k)) (+ (+ 1.0 (pow (/ k t) 2.0)) 1.0))
1.1s
(- (- (pow (- (/ (+ m n) 2.0) M) 2.0)) (- l (fabs (- m n))))
841.0ms
(/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))))
841.0ms
(pow (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT))) 3)
Rules
33111×add-exp-log
23708×prod-exp
12710×pow-exp
9447×div-exp
7305×times-frac
5863×add-sqr-sqrt
5335×*-un-lft-identity
5300×pow-to-exp
4772×add-cube-cbrt
2572×add-cbrt-cube
2038×1-exp rec-exp
1697×associate-*r/
1393×sqrt-prod
1263×associate-*r*
1200×pow1
1159×cbrt-div
1109×cbrt-unprod
1063×cbrt-prod
1034×flip3-- flip--
987×unpow-prod-down
891×frac-times
787×sqrt-div
724×associate-*l*
625×frac-sub
578×prod-diff
506×add-log-exp
499×cbrt-undiv
444×associate-/l*
439×log1p-expm1-u expm1-log1p-u
415×div-inv
399×pow-prod-down
389×associate-/r*
378×associate-*l/
347×pow-unpow
268×sqr-pow
267×unswap-sqr
209×difference-of-squares
197×distribute-lft-out
165×distribute-rgt-in distribute-lft-in
158×associate-/r/
149×cube-prod
145×distribute-rgt-neg-in
143×*-commutative
113×distribute-lft-neg-in
107×distribute-lft-out--
104×flip-+ flip3-+
93×clear-num frac-2neg
92×fma-neg
81×sqrt-pow1
69×exp-prod
67×tan-quot
63×pow1/3
58×fma-def
55×sub-neg
53×pow1/2
52×rem-sqrt-square
50×pow-pow
36×fma-udef
32×swap-sqr associate--l+
25×cos-sum unpow2 unpow3 cube-mult
22×associate-/l/
21×div-sub
20×sum-log
18×cube-div
17×+-commutative
14×diff-log log-prod
13×frac-add
12×hypot-def
11×pow-sub pow-flip neg-mul-1 associate--r+
9×inv-pow neg-sub0
8×exp-diff
6×pow-prod-up pow-sqr log-pow asin-acos exp-sum
4×rem-cube-cbrt un-div-inv associate-+r+ unsub-neg rem-cbrt-cube pow-neg log-div
3×rem-exp-log pow-plus pow2 associate-+r- neg-log distribute-rgt-out--
2×sin-sum hypot-udef associate--r- distribute-rgt-neg-out rem-log-exp
1×associate-+l+ associate--l- cos-diff distribute-neg-frac acos-asin sub-div mul0 associate-+l-

simplify12.6s (4.2%)

Algorithm
175×egg-herbie

regimes10.8s (3.6%)

Accuracy

Total 44.5b remaining (23.3%)

Threshold costs 4.4b (2.3%)

8.2b10.6%Toniolo and Linder, Equation (13)
7.6b48.9%Henrywood and Agarwal, Equation (3)
6.7b8.9%Toniolo and Linder, Equation (10+)
5.5b5.6%Henrywood and Agarwal, Equation (12)
5.0b79.3%Toniolo and Linder, Equation (7)

localize2.4s (0.8%)

bsearch1.6s (0.5%)

end0.0ms (0.0%)