Time: 21.7m
Passed: 13/18
Tests: 29
Bits: 198/373
Date:Thursday, January 10th, 2019
Commit:dd874ef03c8e15d9e2f572e0b328fc0229fb74e1 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019010
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default
TestStartResult ?Target ?∞ ↔ ℝTime
VandenBroeck and Keller, Equation (6)8.40.728.7s»
VandenBroeck and Keller, Equation (24)0.20.219.5s»
VandenBroeck and Keller, Equation (23)14.30.331.4s»
VandenBroeck and Keller, Equation (20)10.4s»
Toniolo and Linder, Equation (7)42.09.339.7s»
Toniolo and Linder, Equation (3b), real13.112.431.7s»
Toniolo and Linder, Equation (3a)1.60.931.5s»
Toniolo and Linder, Equation (2)10.310.337.7s»
Toniolo and Linder, Equation (13)32.729.32.6m»
Toniolo and Linder, Equation (10-)47.516.81.6m»
Toniolo and Linder, Equation (10+)32.28.71.9m»
Migdal et al, Equation (64)0.50.41.1m»
Migdal et al, Equation (51)0.40.426.2s»
Maksimov and Kolovsky, Equation (4)17.60.436.2s»
Maksimov and Kolovsky, Equation (32)15.31.425.5s»
Maksimov and Kolovsky, Equation (3)17.112.943.7s»
Henrywood and Agarwal, Equation (9a)13.28.132.5s»
Henrywood and Agarwal, Equation (3)18.77.514.0s»
Henrywood and Agarwal, Equation (13)58.233.51.3m»
Henrywood and Agarwal, Equation (12)25.118.91.1m»
Falkner and Boettcher, Equation (22+)1.00.01.0m»
Falkner and Boettcher, Equation (20:1,3)0.50.328.4s»
Falkner and Boettcher, Appendix B, 20.00.01.0m»
Falkner and Boettcher, Appendix B, 10.50.527.6s»
Falkner and Boettcher, Appendix A2.22.234.6s»
Bulmash initializePoisson0.00.032.7s»
Bouland and Aaronson, Equation (26)0.20.018.5s»
Bouland and Aaronson, Equation (25)0.20.039.9s»
Bouland and Aaronson, Equation (24)0.20.014.4s»

Details

simplify12.0m

Calls

7600 calls:

Slowest
1.2s
(* (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v)))))
1.1s
(* (cos k) (+ (* (+ 1 (pow (/ k t) 2)) (+ 1 (pow (/ k t) 2))) (- (* 1 1) (* (+ 1 (pow (/ k t) 2)) 1))))
1.0s
(* (+ (* 1 1) (- (* (* v (* -3 v)) (* v (* -3 v))) (* 1 (* v (* -3 v))))) (+ 1 (* v v)))
1.0s
(* (/ l t) (+ (* (+ 1 (pow (/ k t) 2)) (+ 1 (pow (/ k t) 2))) (- (* 1 1) (* (+ 1 (pow (/ k t) 2)) 1))))
993.0ms
(* (* (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d))) (* (* (* (/ (* M D) (* 2 d)) h) (* (/ (* M D) (* 2 d)) h)) (* (/ (* M D) (* 2 d)) h))) (* (* (/ 1 l) (/ 1 l)) (/ 1 l)))

sample4.6m

Algorithm
56×intervals

prune3.0m

series48.7s

Calls

404 calls:

Slowest
1.6s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
1.3s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
1.3s
(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 l) Om))) (* (* 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*)))))

regimes17.9s

Accuracy

Total 41.0b remaining (23.3%)

8.9b8.5%Toniolo and Linder, Equation (13)
7.2b0%Toniolo and Linder, Equation (10-)
6.8b47.7%Henrywood and Agarwal, Equation (12)
5.9b74.8%Toniolo and Linder, Equation (7)
2.7b0%Henrywood and Agarwal, Equation (13)

bsearch7.0s

rewrite5.0s

Algorithm
106×rewrite-expression-head
Calls

404 calls:

Slowest
248.0ms
(* (* (* -2 J) (* (cbrt (cos (/ K 2))) (* (* (cbrt (cbrt (cos (/ K 2)))) (cbrt (cbrt (cos (/ K 2))))) (cbrt (cbrt (cos (/ K 2))))))) (* (cbrt (cos (/ K 2))) (sqrt (+ 1 (pow (/ U (* (* 2 J) (cos (/ K 2)))) 2)))))
178.0ms
(* (/ NdChar (+ (pow (exp (/ (+ (- mu Ec) (+ Vef EDonor)) KbT)) 3) (pow 1 3))) (+ (* (exp (/ (+ (- Vef Ec) (+ mu EDonor)) KbT)) (exp (/ (+ (- Vef Ec) (+ mu EDonor)) KbT))) (- 1 (exp (/ (+ (- Vef Ec) (+ mu EDonor)) KbT)))))
172.0ms
(cos (* (* (* (* (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))) (cbrt (- (/ (* K (+ m n)) 2) M))))
135.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
129.0ms
(* (* (* (/ t l) (* (/ (* t t) l) (sin k))) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))
Rules
2300×times-frac
2052×*-un-lft-identity
2015×add-sqr-sqrt
1935×add-cube-cbrt
1601×associate-*r/
1171×sqrt-prod
1156×add-exp-log
1009×flip3--
1009×flip--
992×cbrt-div
980×frac-times
942×add-cbrt-cube
769×pow1
673×sqrt-div
658×associate-*l*
643×frac-sub
474×associate-*l/
465×add-log-exp
396×associate-*r*
352×prod-exp
325×div-inv
307×flip-+
307×flip3-+
299×associate-/r*
273×associate-/l*
255×cbrt-unprod
225×frac-add
223×cbrt-prod
208×pow-prod-down
201×unpow-prod-down
170×associate-/r/
157×*-commutative
128×div-exp
112×pow-to-exp
99×cbrt-undiv
87×tan-quot
87×frac-2neg
87×distribute-rgt-in
87×clear-num
87×distribute-lft-in
73×sub-neg
55×pow-exp
54×pow-unpow
52×pow1/2
51×associate-/l/
49×unpow2
49×rem-sqrt-square
44×pow1/3
43×distribute-lft-out
41×div-sub
32×pow-pow
25×exp-diff
25×associate-+l-
23×sum-log
21×associate--l+
20×unpow-prod-up
19×distribute-lft-out--
15×rec-exp
13×pow-flip
13×+-commutative
12×difference-of-squares
11×pow-sub
10×difference-of-sqr-1
10×inv-pow
10×diff-log
8×unpow3
8×exp-prod
8×cube-mult
6×log-prod
6×associate-+r+
5×pow-prod-up
4×pow2
4×pow-plus
4×associate--r+
4×un-div-inv
3×exp-sum
3×asin-acos
3×acos-asin
3×associate--r-
2×associate-+l+
2×neg-sub0
2×associate--l-
2×distribute-rgt-out--
2×neg-log
2×distribute-rgt-neg-in
2×cos-sum
2×rem-exp-log
2×log-pow
1×associate-+r-
1×mul0
1×sub-div
1×cos-diff
1×rem-log-exp

localize3.4s

end1.0ms