Time: 9.3m
Passed: 2/10
Tests: 12
Bits: 5/190
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
Toniolo and Linder, Equation (13)33.429.41.3m»
Random Jason Timeout Test 0151.0m»
Random Jason Timeout Test 0140.00.013.4s»
Random Jason Timeout Test 01260.359.156.4s»
Random Jason Timeout Test 0099.1s»
Random Jason Timeout Test 0063.4m»
Random Jason Timeout Test 00434.134.130.4s»
Random Jason Timeout Test 00358.9s»
Random Jason Timeout Test 0020.00.012.5s»
Random Jason Timeout Test 00118.2s»
Area of a triangle13.3s»
(/ (- x lo) (- hi lo))62.062.02.2s»

Details

sample1.8m

Algorithm
12×intervals
Results
120744×(pre true 80)
37348×(body nan 80)
37281×(body real 80)
32521×(body exit 10240)
4951×(body real 1280)
3481×(body real 2560)
2954×(body real 640)
1354×(body real 320)
782×(body real 160)
22×(body real 5120)
10×(body nan 160)
9×(body nan 320)
9×(body nan 1280)
9×(body nan 5120)
9×(body nan 2560)
4×(body nan 640)

simplify49.7s

Calls

504 calls:

Slowest
771.0ms
(* (* (* (/ l Om) (/ l Om)) (/ l Om)) (* (* (- U U*) (- U U*)) (- U U*)))
683.0ms
(* (* (* (pow (/ l Om) 2) (pow (/ l Om) 2)) (pow (/ l Om) 2)) (* (* (- U U*) (- U U*)) (- U U*)))
661.0ms
(sqrt (* (* (* 2 n) U) (- (* (- (pow t 3) (pow (* 2 (/ l (/ Om l))) 3)) (+ U U*)) (* (+ (* t t) (+ (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l)))) (* t (* 2 (/ l (/ Om l)))))) (* n (* (pow (/ l Om) 2) (- (* U U) (* U* U*))))))))
658.0ms
(sqrt (* (* (* 2 n) U) (- (* (- (* t t) (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l))))) (* Om (+ U U*))) (* (+ t (* 2 (/ l (/ Om l)))) (* n (* (/ l Om) (* l (- (* U U) (* U* U*)))))))))
632.0ms
(sqrt (* (* (* 2 n) U) (- (* (- (pow t 3) (pow (* 2 (/ (* l l) Om)) 3)) (+ U U*)) (* (+ (* t t) (+ (* (* 2 (/ (* l l) Om)) (* 2 (/ (* l l) Om))) (* t (* 2 (/ (* l l) Om))))) (* (* n (pow (/ l Om) 2)) (- (* U U) (* U* U*)))))))

prune14.8s

series7.7s

Calls

52 calls:

Slowest
1.3s
(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 (* (/ 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 (/ Om l)))) (* n (* (pow (/ l Om) 2) (- U U*))))))
490.0ms
(sinh c)

regimes3.0s

Accuracy

Total 9.7b remaining (5.2%)

9.5b12.6%Toniolo and Linder, Equation (13)
0.1b0%Random Jason Timeout Test 012
0.0b0%Random Jason Timeout Test 004
0.0b0%Random Jason Timeout Test 002
0.0b0%Random Jason Timeout Test 014

bsearch1.6s

rewrite423.0ms

Algorithm
18×rewrite-expression-head
Calls

52 calls:

Slowest
92.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* n (* (/ l Om) (* (/ l Om) (- U U*))))))
69.0ms
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* n (* (/ l Om) (* (/ l Om) (- U U*)))))))
37.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))
31.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* n (* (pow (/ l Om) 2) (- U U*)))))
25.0ms
(* n (* (/ l Om) (* (/ l Om) (- U U*))))
Rules
228×associate-*r/
88×add-sqr-sqrt
88×*-un-lft-identity
88×add-cube-cbrt
82×flip3--
82×flip--
76×add-exp-log
72×pow1
70×add-cbrt-cube
68×frac-sub
56×add-log-exp
56×distribute-lft-in
56×distribute-rgt-in
50×associate-*r*
47×frac-times
42×sqrt-div
36×sub-neg
21×log-prod
18×associate-*l*
16×log-pow
16×associate-*l/
16×associate--l+
15×*-commutative
13×exp-prod
10×prod-exp
10×sqrt-prod
9×times-frac
8×cbrt-unprod
8×unpow-prod-down
7×pow-prod-down
5×rem-log-exp
5×pow1/2
5×div-inv
4×flip3-+
4×+-commutative
4×flip-+
4×associate-/l*
3×exp-sum
3×associate-/r*
3×acos-asin
2×associate-/r/
2×sinh-def
2×unpow2
2×associate-+r+
2×frac-2neg
2×cube-mult
2×clear-num
2×associate-/l/
2×sum-log
2×unpow3
1×div-sub
1×cbrt-undiv
1×div-exp
1×rem-exp-log
1×pow-to-exp
1×pow-exp

localize378.0ms

end0.0ms