Time: 9.3m
Passed: 2/10
Tests: 12
Bits: 7/190
Date:Wednesday, January 16th, 2019
Commit:4ad0fa0d8ea811155e6236e8b72b9505c4bb3dd0 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019016
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
Toniolo and Linder, Equation (13)33.427.71.3m»
Random Jason Timeout Test 01558.9s»
Random Jason Timeout Test 0140.00.014.3s»
Random Jason Timeout Test 01260.359.155.5s»
Random Jason Timeout Test 0098.9s»
Random Jason Timeout Test 0063.4m»
Random Jason Timeout Test 00434.134.130.5s»
Random Jason Timeout Test 00358.5s»
Random Jason Timeout Test 0020.00.013.0s»
Random Jason Timeout Test 00117.6s»
Area of a triangle13.5s»
(/ (- x lo) (- hi lo))62.062.02.4s»

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)

simplify52.6s

Calls

489 calls:

Slowest
985.0ms
(* (fma (- (- U U*)) (* n (pow (/ l Om) 2)) (* (- U U*) (* n (pow (/ l Om) 2)))) (* (* 2 n) U))
731.0ms
(* (* 2 (* U n)) (- t (fma (* (/ l Om) (- U U*)) (* n (/ l Om)) (* (* 2 l) (/ l Om)))))
594.0ms
(* (fma (- (- U U*)) (* n (pow (/ l Om) 2)) (* (- U U*) (* n (pow (/ l Om) 2)))) (* (* 2 n) U))
589.0ms
(* (fma (- (- U U*)) (* n (pow (/ l Om) 2)) (* (- U U*) (* n (pow (/ l Om) 2)))) (* (* 2 n) U))
543.0ms
(* (fma (- (- U U*)) (* n (pow (/ l Om) 2)) (* (- U U*) (* n (pow (/ l Om) 2)))) (* (* 2 n) U))

prune16.5s

series7.8s

Calls

52 calls:

Slowest
1.5s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
1.5s
(sqrt (pow (* (* 2 (* U n)) (- t (fma (* (/ l Om) (- U U*)) (* n (/ l Om)) (* (* 2 l) (/ l Om))))) 1))
1.3s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))
1.1s
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
306.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))

regimes2.6s

Accuracy

Total 10.0b remaining (5.5%)

9.8b5.3%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.3s

localize470.0ms

rewrite332.0ms

Algorithm
18×rewrite-expression-head
Calls

52 calls:

Slowest
55.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*))))
32.0ms
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))
28.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))
23.0ms
(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
18.0ms
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
Rules
152×associate-*r/
95×add-sqr-sqrt
94×*-un-lft-identity
94×add-cube-cbrt
77×pow1
76×add-exp-log
73×add-cbrt-cube
71×flip3--
71×flip--
60×frac-sub
56×add-log-exp
52×expm1-log1p-u
52×associate-*r*
52×log1p-expm1-u
47×frac-times
36×sqrt-div
31×distribute-lft-in
31×distribute-rgt-in
31×associate-*l/
22×sub-neg
21×log-prod
18×prod-diff
16×log-pow
14×*-commutative
13×exp-prod
13×sqrt-prod
12×associate--l+
11×associate-*l*
10×pow-prod-down
10×cbrt-unprod
10×prod-exp
9×times-frac
5×rem-log-exp
5×pow1/2
5×unpow-prod-down
5×div-inv
4×fma-def
4×flip3-+
4×+-commutative
4×flip-+
4×associate-/l*
3×exp-sum
3×associate-/r*
3×acos-asin
2×sinh-def
2×frac-2neg
2×associate-/r/
2×cube-mult
2×clear-num
2×associate-/l/
2×sum-log
2×unpow3
2×associate-+r+
1×unpow2
1×div-sub
1×cbrt-undiv
1×div-exp
1×rem-exp-log
1×rem-sqrt-square
1×fma-udef

end0.0ms