Time: 9.2m
Passed: 2/10
Tests: 12
Bits: 9/190
Date:Monday, January 21st, 2019
Commit:41534ba9a5a4da8e4e9dad98698119b99dce2613 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019021
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
Toniolo and Linder, Equation (13)33.626.01.2m»
Random Jason Timeout Test 01554.8s»
Random Jason Timeout Test 0140.00.021.6s»
Random Jason Timeout Test 01260.559.354.0s»
Random Jason Timeout Test 0097.6s»
Random Jason Timeout Test 0063.2m»
Random Jason Timeout Test 00434.133.734.4s»
Random Jason Timeout Test 00353.0s»
Random Jason Timeout Test 0020.00.021.9s»
Random Jason Timeout Test 00118.6s»
Area of a triangle13.5s»
(/ (- x lo) (- hi lo))62.062.02.1s»

Details

sample1.7m

Algorithm
12×intervals
Results
1.0m31950×body10240exit
10.2s3477×body2560valid
7.3s36474×body80nan
6.9s4946×body1280valid
5.7s37237×body80valid
2.6s2924×body640valid
1.2s1441×body320valid
297.0ms778×body160valid
235.0ms8256×pre80true
62.0ms30×body5120valid
36.0ms10×body5120nan
17.0ms13×body1280nan
15.0ms8×body2560nan
8.0ms8×body640nan
3.0ms8×body160nan
3.0ms5×body320nan

simplify1.1m

Calls

718 calls:

Slowest
716.0ms
(* (+ t (* 2 (/ (* l l) Om))) (+ U U*))
702.0ms
(sqrt (* (* 2 n) (* U (- (* (- (pow t 3) (pow (* 2 (/ l (/ Om l))) 3)) (+ (* U U) (+ (* U* U*) (* U U*)))) (* (+ (* t t) (+ (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l)))) (* t (* 2 (/ l (/ Om l)))))) (* (* (* n (/ l Om)) (/ l Om)) (- (pow U 3) (pow U* 3))))))))
550.0ms
(* (* (- (exp c) (exp (- c))) (sinh c)) (- (exp c) (exp (- c))))
523.0ms
(cbrt (* (* (sinh c) (sinh c)) (- (exp c) (exp (- c)))))
512.0ms
(/ (* (* (- x lo) (- x lo)) (- x lo)) (* (* (- hi lo) (- hi lo)) (- hi lo)))

prune19.1s

series10.3s

Calls

71 calls:

Slowest
1.2s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* 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*))))))
1.1s
(sqrt (* (* 2 n) (* U (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*))))))
1.0s
(sqrt (* (* 2 n) (* U (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))))
518.0ms
(sinh c)

regimes3.3s

Accuracy

Total 11.3b remaining (6.2%)

9.3b28%Toniolo and Linder, Equation (13)
1.9b0%Random Jason Timeout Test 004
0.1b0%Random Jason Timeout Test 012
0.0b0%Random Jason Timeout Test 002
0.0b0%Random Jason Timeout Test 014

bsearch1.4s

localize511.0ms

rewrite510.0ms

Algorithm
21×rewrite-expression-head
Calls

71 calls:

Slowest
71.0ms
(* (* 2 n) (* U (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))
54.0ms
(* (* 2 n) (* U (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
35.0ms
(* (* 2 n) (* U (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
31.0ms
(sqrt (* (* 2 n) (* U (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*))))))
31.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
Rules
256×associate-*r/
134×pow1
129×add-sqr-sqrt
129×*-un-lft-identity
127×add-cube-cbrt
108×add-exp-log
106×add-cbrt-cube
81×add-log-exp
80×flip3--
80×flip--
74×associate-*r*
68×frac-sub
67×frac-times
60×sinh-def
60×distribute-rgt-in
60×distribute-lft-in
57×cbrt-prod
52×associate-*l/
42×sqrt-div
37×sub-neg
28×associate--l+
22×log-pow
22×*-commutative
18×pow-prod-down
18×cbrt-unprod
18×prod-exp
18×exp-prod
16×associate-*l*
14×unpow-prod-down
14×cbrt-div
12×pow-prod-up
12×pow-plus
11×pow1/3
10×sqrt-prod
9×log-prod
9×times-frac
6×pow-unpow
6×pow2
6×+-commutative
6×flip-+
6×flip3-+
5×associate-/l*
5×pow3
5×div-inv
4×pow1/2
4×sum-log
4×unpow3
4×cube-mult
3×rem-log-exp
3×frac-2neg
3×rem-cbrt-cube
3×associate-/r*
3×acos-asin
3×clear-num
2×pow-exp
2×associate-+r+
2×associate-/r/
2×pow-to-exp
2×associate-/l/
2×pow-pow
1×difference-of-squares
1×unpow2
1×div-sub
1×asin-acos
1×cbrt-undiv
1×distribute-lft-out--
1×div-exp
1×associate--r-
1×cosh-def
1×diff-log

end0.0ms