| Date: | Wednesday, December 26th, 2018 |
|---|---|
| Commit: | a98a74144c4adddbce217fd7ce983c17096732e2 on develop |
| Hostname: | warfa |
| Points: | 256 |
| Fuel: | 4 |
| Seed: | 2018360 |
| 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 |
| Test | Start | Result | Target | ∞ ↔ ℝ | Time | |
|---|---|---|---|---|---|---|
| VandenBroeck and Keller, Equation (6) | 8.1 | 0.7 | 43.2s | » | ||
| VandenBroeck and Keller, Equation (24) | 0.2 | 0.2 | 23.0s | » | ||
| VandenBroeck and Keller, Equation (23) | 13.3 | 0.2 | 41.5s | » | ||
| VandenBroeck and Keller, Equation (20) | 59.6 | 0.7 | 2.0m | » | ||
| Toniolo and Linder, Equation (7) | 42.7 | 9.4 | 45.2s | » | ||
| Toniolo and Linder, Equation (3b), real | 12.2 | 12.6 | 37.3s | » | ||
| Toniolo and Linder, Equation (3a) | 1.7 | 1.4 | 37.9s | » | ||
| Toniolo and Linder, Equation (2) | 9.8 | 9.8 | 45.1s | » | ||
| Toniolo and Linder, Equation (13) | 10.0m | » | ||||
| Toniolo and Linder, Equation (10-) | 47.4 | 1.7 | 3.6m | » | ||
| Toniolo and Linder, Equation (10+) | 32.3 | 12.1 | 2.9m | » | ||
| Migdal et al, Equation (64) | 0.5 | 0.5 | 28.9s | » | ||
| Migdal et al, Equation (51) | 0.4 | 0.5 | 40.2s | » | ||
| Maksimov and Kolovsky, Equation (4) | 17.6 | 0.4 | 30.3s | » | ||
| Maksimov and Kolovsky, Equation (32) | 15.3 | 1.5 | 43.4s | » | ||
| Maksimov and Kolovsky, Equation (3) | 16.8 | 13.1 | 1.1m | » | ||
| Henrywood and Agarwal, Equation (9a) | 13.3 | 8.1 | 45.7s | » | ||
| Henrywood and Agarwal, Equation (3) | 19.2 | 12.5 | 14.7s | » | ||
| Henrywood and Agarwal, Equation (13) | 57.9 | 53.6 | 2.3m | » | ||
| Henrywood and Agarwal, Equation (12) | 25.7 | 19.2 | 1.6m | » | ||
| Falkner and Boettcher, Equation (22+) | 1.0 | 0.0 | 31.4s | » | ||
| Falkner and Boettcher, Equation (20:1,3) | 0.4 | 0.1 | 9.8m | » | ||
| Falkner and Boettcher, Appendix B, 2 | 0.0 | 0.0 | 49.0s | » | ||
| Falkner and Boettcher, Appendix B, 1 | 0.6 | 0.6 | 44.4s | » | ||
| Falkner and Boettcher, Appendix A | 1.9 | 0.3 | 23.8s | » | ||
| Bulmash initializePoisson | 0.0 | 0.0 | 42.0s | » | ||
| Bouland and Aaronson, Equation (26) | 0.2 | 0.0 | 18.8s | » | ||
| Bouland and Aaronson, Equation (25) | 10.0m | » | ||||
| Bouland and Aaronson, Equation (24) | 10.0m | » |
10304 calls. Slowest were:
| 2.8s | (/ (/ (cbrt (/ 2 (tan k))) (/ (sin k) (/ 1 t))) (/ 1 t)) |
| 1.3s | (/ (* (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ (* M D) (* 2 d))) (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d)))) (* (* (/ l h) (/ l h)) (/ l h))) |
| 1.3s | (sqrt (+ (pow (+ (pow b 4) (+ (* 2 (* (pow a 2) (pow b 2))) (pow a 4))) 3) (pow (* 4 (* b b)) 3))) |
| 1.3s | (/ (/ (* (* (* (/ 2 t) (/ 2 t)) (/ 2 t)) (* (* (* (/ l t) (/ l t)) (/ l t)) (* (* (/ l t) (/ l t)) (/ l t)))) (* (* (* (tan k) (sin k)) (* (tan k) (sin k))) (* (tan k) (sin k)))) (* (* (+ (* (/ k t) (/ k t)) 2) (+ (* (/ k t) (/ k t)) 2)) (+ (* (/ k t) (/ k t)) 2))) |
| 1.3s | (* (/ (* (* (* (cbrt (/ 2 t)) (cbrt (/ 2 t))) (* (cbrt (/ 2 t)) (cbrt (/ 2 t)))) (* (cbrt (/ 2 t)) (cbrt (/ 2 t)))) (* (* (/ (sin k) (/ l t)) (/ (sin k) (/ l t))) (/ (sin k) (/ l t)))) (* (* (* (/ 1 (* (cbrt (/ (sin k) (/ l t))) (cbrt (/ (sin k) (/ l t))))) (/ 1 (* (cbrt (/ (sin k) (/ l t))) (cbrt (/ (sin k) (/ l t)))))) (/ 1 (* (cbrt (/ (sin k) (/ l t))) (cbrt (/ (sin k) (/ l t)))))) (* (* (* (/ (cbrt (/ 2 t)) (cbrt (/ (sin k) (/ l t)))) (/ (cos k) (+ (* (/ k t) (/ k t)) 2))) (* (/ (cbrt (/ 2 t)) (cbrt (/ (sin k) (/ l t)))) (/ (cos k) (+ (* (/ k t) (/ k t)) 2)))) (* (/ (cbrt (/ 2 t)) (cbrt (/ (sin k) (/ l t)))) (/ (cos k) (+ (* (/ k t) (/ k t)) 2)))))) |
432 calls. Slowest were:
| 1.2s | (sqrt (* (* (* (* 2 n) U) (* (cbrt (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))) (cbrt (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))) (cbrt (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))) |
| 1.2s | (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.2s | (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))) |
| 860.0ms | (sqrt (- (* (/ (+ x 1) (- x 1)) (+ (* l l) (* 2 (* t t)))) (* l l))) |
432 calls. Slowest were:
| 971.0ms | (* (* (cbrt (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))) (cbrt (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))))) (cbrt (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n))))))) |
| 548.0ms | (* (cos (- (/ (* K (+ m n)) 2) M)) (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))) |
| 506.0ms | (/ (* (- (- -1 (+ (pow a 4) (pow b 4))) (* 2 (* (* a a) (* b b)))) (+ (+ (* (* (- a (* a a)) (* b b)) (- (* (* -12 a) (* -12 a)) 16)) (* (* (+ (* -12 a) -4) (+ (* a a) a)) (* (* 4 a) (- a (* a a))))) (* (* (- a (* a a)) (+ (* -12 a) -4)) (+ (+ (+ (pow a 4) (pow b 4)) -1) (* 2 (* (* a a) (* b b))))))) (* (* (- a (* a a)) (- (* a -12) 4)) (- -1 (+ (pow b 4) (+ (pow a 4) (* 2 (* (pow a 2) (pow b 2)))))))) |
| 423.0ms | (sqrt (* (* (* (* 2 n) U) (* (cbrt (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))) (cbrt (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))) (cbrt (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))) |
| 270.0ms | (cbrt (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))) |
Median 0% (29.1b remaining)