Time: 25.9m
Passed: 13/18
Tests: 29
Bits: 199/373
Date:Wednesday, January 16th, 2019
Commit:4ad0fa0d8ea811155e6236e8b72b9505c4bb3dd0 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019016
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.50.729.9s»
VandenBroeck and Keller, Equation (24)0.20.217.2s»
VandenBroeck and Keller, Equation (23)13.30.235.6s»
VandenBroeck and Keller, Equation (20)9.5s»
Toniolo and Linder, Equation (7)42.710.31.2m»
Toniolo and Linder, Equation (3b), real12.112.236.3s»
Toniolo and Linder, Equation (3a)1.71.722.9s»
Toniolo and Linder, Equation (2)10.210.21.9m»
Toniolo and Linder, Equation (13)33.429.41.3m»
Toniolo and Linder, Equation (10-)47.218.21.5m»
Toniolo and Linder, Equation (10+)32.58.11.8m»
Migdal et al, Equation (64)0.50.525.4s»
Migdal et al, Equation (51)0.40.459.4s»
Maksimov and Kolovsky, Equation (4)17.40.629.5s»
Maksimov and Kolovsky, Equation (32)14.91.319.0s»
Maksimov and Kolovsky, Equation (3)17.613.250.2s»
Henrywood and Agarwal, Equation (9a)13.68.830.9s»
Henrywood and Agarwal, Equation (3)18.16.214.3s»
Henrywood and Agarwal, Equation (13)58.133.71.3m»
Henrywood and Agarwal, Equation (12)25.714.71.3m»
Falkner and Boettcher, Equation (22+)1.00.04.2m»
Falkner and Boettcher, Equation (20:1,3)0.40.328.8s»
Falkner and Boettcher, Appendix B, 20.00.01.2m»
Falkner and Boettcher, Appendix B, 10.60.633.9s»
Falkner and Boettcher, Appendix A2.02.050.9s»
Bulmash initializePoisson0.00.047.3s»
Bouland and Aaronson, Equation (26)0.20.013.5s»
Bouland and Aaronson, Equation (25)0.20.036.8s»
Bouland and Aaronson, Equation (24)0.20.024.7s»

Details

simplify16.2m

Calls

8763 calls:

Slowest
1.1s
(* (* (* (/ (sqrt 2) 4) (/ (sqrt 2) 4)) (/ (sqrt 2) 4)) (* (* (sqrt (- 1 (log (exp (* 3 (* v v)))))) (sqrt (- 1 (log (exp (* 3 (* v v))))))) (sqrt (- 1 (log (exp (* 3 (* v v))))))))
1.0s
(* (* l l) (+ (* (+ 1 (pow (/ k t) 2)) (+ 1 (pow (/ k t) 2))) (- (* 1 1) (* (+ 1 (pow (/ k t) 2)) 1))))
1.0s
(/ (* (* (* c0 (* d d)) (* c0 (* d d))) (* c0 (* d d))) (* (* (* (* w h) (* w h)) (* w h)) (* (* (* D D) (* D D)) (* D D))))
993.0ms
(- (+ 1 (pow (/ k t) 2)) 1)
961.0ms
(+ (* (* c0 (* d d)) (sqrt (+ (* (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D))))) (+ (* (* M M) (* M M)) (* (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))))) (* (* (* w h) (* D D)) (sqrt (- (pow (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) 3) (pow (* M M) 3)))))

sample4.6m

Algorithm
56×intervals
Results
489776×(pre true 80)
247320×(body real 80)
160964×(body nan 80)
24307×(body real 1280)
18264×(body real 640)
9206×(body real 320)
8861×(body real 160)
8579×(body exit 10240)
7116×(body real 2560)
3347×(body real 5120)
643×(body nan 640)
626×(body nan 1280)
351×(body nan 320)
192×(body nan 160)

prune2.9m

series44.1s

Calls

408 calls:

Slowest
1.3s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* n (* (/ l Om) (* (/ l Om) (- 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 l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
994.0ms
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
862.0ms
(sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l)))

regimes19.7s

Accuracy

Total 43.3b remaining (25%)

9.5b12.6%Toniolo and Linder, Equation (13)
7.1b70.4%Toniolo and Linder, Equation (7)
6.6b57.5%Henrywood and Agarwal, Equation (12)
5.9b22.7%Toniolo and Linder, Equation (10-)
2.8b68.1%Toniolo and Linder, Equation (10+)

bsearch13.2s

rewrite5.2s

Algorithm
108×rewrite-expression-head
Calls

408 calls:

Slowest
395.0ms
(/ (+ (pow 1 3) (pow (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT)) 3)) (+ (* 1 1) (- (* (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT)) (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))) (* 1 (exp (/ (- (+ Ev Vef) (- mu EAccept)) KbT))))))
134.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
134.0ms
(- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))
118.0ms
(* (* (* (/ t l) (* (/ t (/ l t)) (sin k))) (tan k)) (+ (+ 1 (pow (/ k t) 2)) 1))
99.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* n (* (/ l Om) (* (/ l Om) (- U U*))))))
Rules
4105×times-frac
2659×add-sqr-sqrt
2631×*-un-lft-identity
2526×add-cube-cbrt
2092×sqrt-prod
1184×add-exp-log
903×add-cbrt-cube
720×pow1
705×associate-*l/
637×sqrt-div
634×associate-*r/
571×frac-times
531×div-inv
498×add-log-exp
444×flip-+
444×flip3-+
443×cbrt-prod
403×associate-/r/
391×associate-*r*
373×cbrt-div
357×associate-*l*
340×prod-exp
315×flip3--
315×flip--
302×frac-add
299×associate-/r*
270×associate-/l*
200×cbrt-unprod
197×unpow-prod-down
163×div-exp
158×pow-prod-down
142×*-commutative
129×sub-neg
124×pow-to-exp
112×distribute-rgt-in
112×distribute-lft-in
95×cbrt-undiv
85×frac-2neg
85×clear-num
85×rem-sqrt-square
82×unpow-prod-up
80×pow-exp
75×frac-sub
70×tan-quot
68×associate-/l/
65×pow1/2
48×distribute-lft-out
42×exp-prod
36×sum-log
35×unpow2
34×pow-unpow
34×rec-exp
30×pow1/3
28×pow-pow
28×div-sub
24×pow-sub
22×exp-diff
21×associate--l+
19×log-prod
18×+-commutative
16×cos-sum
11×distribute-lft-out--
11×cube-mult
11×diff-log
10×associate-+r+
10×difference-of-sqr-1
10×rem-exp-log
9×pow-flip
9×pow-prod-up
8×difference-of-squares
8×exp-sum
8×inv-pow
8×asin-acos
8×cos-diff
8×log-div
6×unpow3
6×associate-+l-
6×log-pow
5×pow2
5×pow-plus
5×sum-cubes
4×associate-+l+
4×associate--r+
3×sub-div
3×un-div-inv
3×associate--r-
3×rem-log-exp
2×neg-sub0
2×associate--l-
2×pow3
2×neg-log
2×distribute-rgt-neg-in
1×distribute-rgt-out--
1×mul0
1×rem-cbrt-cube
1×acos-asin

localize3.0s

end1.0ms