Time: 21.3m
Passed: 13/18
Tests: 29
Bits: 183/365
Date:Thursday, January 10th, 2019
Commit:dd874ef03c8e15d9e2f572e0b328fc0229fb74e1 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019010
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
VandenBroeck and Keller, Equation (6)20.6s»
VandenBroeck and Keller, Equation (24)0.20.238.9s»
VandenBroeck and Keller, Equation (23)14.313.435.2s»
VandenBroeck and Keller, Equation (20)10.1s»
Toniolo and Linder, Equation (7)42.09.340.8s»
Toniolo and Linder, Equation (3b), real13.19.337.9s»
Toniolo and Linder, Equation (3a)1.60.931.9s»
Toniolo and Linder, Equation (2)10.310.333.8s»
Toniolo and Linder, Equation (13)32.729.31.2m»
Toniolo and Linder, Equation (10-)47.516.81.7m»
Toniolo and Linder, Equation (10+)32.212.31.5m»
Migdal et al, Equation (64)0.50.41.1m»
Migdal et al, Equation (51)0.40.427.2s»
Maksimov and Kolovsky, Equation (4)17.60.429.2s»
Maksimov and Kolovsky, Equation (32)15.31.41.5m»
Maksimov and Kolovsky, Equation (3)17.17.821.2s»
Henrywood and Agarwal, Equation (9a)13.28.131.8s»
Henrywood and Agarwal, Equation (3)18.77.514.8s»
Henrywood and Agarwal, Equation (13)58.233.552.0s»
Henrywood and Agarwal, Equation (12)25.118.950.3s»
Falkner and Boettcher, Equation (22+)1.00.01.3m»
Falkner and Boettcher, Equation (20:1,3)0.50.142.8s»
Falkner and Boettcher, Appendix B, 20.00.01.5m»
Falkner and Boettcher, Appendix B, 10.50.521.2s»
Falkner and Boettcher, Appendix A2.20.327.1s»
Bulmash initializePoisson0.00.038.7s»
Bouland and Aaronson, Equation (26)0.20.029.2s»
Bouland and Aaronson, Equation (25)0.20.030.0s»
Bouland and Aaronson, Equation (24)0.20.019.7s»

Details

simplify12.0m

Calls

7643 calls:

Slowest
1.5s
(* (+ 1 (* v v)) (* (+ 1 (* v v)) (+ 1 (* v v))))
1.4s
(* (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
1.3s
(* (* l l) (- (+ 1 (pow (/ k t) 2)) 1))
1.3s
(* (* l l) (- (+ 1 (pow (/ k t) 2)) 1))
1.3s
(* (* (* (pow t 3) (sin k)) (sin k)) (- (+ 1 (pow (/ k t) 2)) 1))

sample4.2m

Algorithm
55×intervals

prune2.8m

series50.0s

Calls

388 calls:

Slowest
2.6s
(sqrt (+ (* (fma (* (cbrt (- t (* 2 (/ l (/ Om l))))) (cbrt (- t (* 2 (/ l (/ Om l)))))) (cbrt (- t (* 2 (/ l (/ Om l))))) (- (* (- U U*) (* n (pow (/ l Om) 2))))) (* (* 2 n) U)) (* (* 0 n) U)))
1.2s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
1.2s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
1.1s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
1.1s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))

regimes15.2s

Accuracy

Total 46.1b remaining (25.4%)

8.0b9.3%Toniolo and Linder, Equation (13)
7.5b0%Toniolo and Linder, Equation (10-)
6.8b48%Henrywood and Agarwal, Equation (12)
5.5b0%Toniolo and Linder, Equation (10+)
5.2b77.3%Toniolo and Linder, Equation (7)

bsearch6.6s

rewrite4.3s

Algorithm
106×rewrite-expression-head
Calls

388 calls:

Slowest
288.0ms
(cos (* (* (cbrt (- (/ (* K (+ m n)) 2) M)) (* (* (cbrt (cbrt (- (/ (* K (+ m n)) 2) M))) (cbrt (cbrt (- (/ (* K (+ m n)) 2) M)))) (cbrt (cbrt (- (/ (* K (+ m n)) 2) M))))) (cbrt (- (/ (* K (+ m n)) 2) M))))
188.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
111.0ms
(* (* (* (/ t l) (* (/ (* t t) l) (sin k))) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))
107.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
90.0ms
(/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)
Rules
2701×times-frac
2351×add-sqr-sqrt
2305×*-un-lft-identity
2264×add-cube-cbrt
1302×sqrt-prod
1129×add-exp-log
989×add-cbrt-cube
738×pow1
629×associate-*l*
443×div-inv
439×associate-*r/
433×associate-*r*
425×add-log-exp
388×expm1-log1p-u
388×log1p-expm1-u
362×associate-/l*
298×prod-exp
273×associate-/r*
268×prod-diff
252×frac-times
241×flip3--
241×flip--
239×cbrt-unprod
218×associate-*l/
196×unpow-prod-down
179×cbrt-prod
172×pow-prod-down
157×div-exp
131×*-commutative
130×cbrt-undiv
111×distribute-rgt-in
111×distribute-lft-in
109×sqrt-div
103×associate-/r/
94×frac-2neg
94×clear-num
85×cbrt-div
79×sub-neg
70×fma-neg
69×pow-to-exp
64×distribute-rgt-neg-in
62×distribute-lft-neg-in
60×flip-+
60×flip3-+
59×pow1/2
59×rem-sqrt-square
56×tan-quot
54×pow-unpow
47×pow-exp
41×associate-/l/
40×frac-sub
40×unpow2
34×pow1/3
29×pow-pow
29×div-sub
29×fma-udef
27×fma-def
22×associate--l+
21×neg-mul-1
20×unpow-prod-up
17×distribute-lft-out--
15×pow-sub
14×rec-exp
14×frac-add
13×pow-flip
13×neg-sub0
12×exp-prod
12×pow-prod-up
11×pow2
11×diff-log
10×pow-plus
9×difference-of-squares
9×inv-pow
7×sum-log
7×unpow3
7×+-commutative
7×cube-mult
6×distribute-lft-out
6×log-prod
6×distribute-frac-neg
6×associate-+r-
6×unsub-neg
5×un-div-inv
4×exp-diff
4×associate-+r+
4×associate--r+
4×hypot-udef
4×distribute-neg-frac
4×distribute-rgt-out--
3×cube-prod
3×exp-sum
3×difference-of-sqr-1
3×asin-acos
3×acos-asin
3×associate--r-
2×associate-+l+
2×neg-log
2×sub-div
2×associate--l-
2×rem-exp-log
2×cos-sum
2×log-pow
2×cube-div
2×sin-mult
2×expm1-def
1×distribute-lft-neg-out
1×rem-cube-cbrt
1×mul0
1×rem-log-exp
1×exp-neg
1×cos-diff

localize3.4s

end1.0ms