Time: 9.0m

Passed: 2/10

Tests: 12

Bits: 5/189

0.0
+1.2
0.0
+3.5
0.0
0.0
ERR
ERR
ERR
ERR
ERR
ERR

Date:	Thursday, January 10th, 2019
Commit:	dd874ef03c8e15d9e2f572e0b328fc0229fb74e1 on develop
Hostname:	warfa
Points:	256
Fuel:	4
Seed:	2019010
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`

Test	Start	Result ?	Target ?	∞ ↔ ℝ	Time
Toniolo and Linder, Equation (13)	32.7	29.3			1.2m	»
Random Jason Timeout Test 015					56.9s	»
Random Jason Timeout Test 014	0.0	0.0			12.5s	»
Random Jason Timeout Test 012	60.5	59.3			55.7s	»
Random Jason Timeout Test 009					8.2s	»
Random Jason Timeout Test 006					3.4m	»
Random Jason Timeout Test 004	34.0	34.0			29.8s	»
Random Jason Timeout Test 003					56.9s	»
Random Jason Timeout Test 002	0.0	0.0			12.3s	»
Random Jason Timeout Test 001					17.3s	»
Area of a triangle					12.4s	»
(/ (- x lo) (- hi lo))	62.0	62.0			2.4s	»

Details

sample1.8m

Algorithm

12×

intervals

simplify44.5s

Calls

414 calls:

Slowest

976.0ms	(* (fma (- (- U U)) ( n (pow (/ l Om) 2)) (* (- U U) ( n (pow (/ l Om) 2)))) (* (* 2 n) U))
829.0ms	(sqrt (+ (* (fma (* (cbrt (- t (* 2 (/ l (/ Om l))))) (cbrt (- t (* 2 (/ l (/ Om l)))))) (cbrt (- t (* 2 (/ l (/ Om l))))) (- (* (- U U) ( n (pow (/ l Om) 2))))) (* (* 2 n) U)) (* (* 0 n) U)))
663.0ms	(* (fma (- (- U U)) ( n (pow (/ l Om) 2)) (* (- U U) ( n (pow (/ l Om) 2)))) (* (* 2 n) U))
637.0ms	(cbrt (- (pow t 3) (pow (* 2 (/ l (/ Om l))) 3)))
614.0ms	(* (fma (- (- U U)) ( n (pow (/ l Om) 2)) (* (- U U) ( n (pow (/ l Om) 2)))) (* (* 2 n) U))

prune16.1s

series10.7s

Calls

48 calls:

Slowest

2.6s	(sqrt (+ (* (fma (* (cbrt (- t (* 2 (/ l (/ Om l))))) (cbrt (- t (* 2 (/ l (/ Om l)))))) (cbrt (- t (* 2 (/ l (/ Om l))))) (- (* (- U U) ( n (pow (/ l Om) 2))))) (* (* 2 n) U)) (* (* 0 n) 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 (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- 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*)))))

regimes1.9s

Accuracy

Total 8.2b remaining (4.4%)

8.0b	9.3%	Toniolo and Linder, Equation (13)
0.1b	0%	Random Jason Timeout Test 012
0.0b	0%	Random Jason Timeout Test 004
0.0b	0%	Random Jason Timeout Test 002
0.0b	0%	Random Jason Timeout Test 014

bsearch567.0ms

localize442.0ms

rewrite329.0ms

Algorithm

17×	rewrite-expression-head

Calls

48 calls:

Slowest

40.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))
37.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))
36.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
22.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
21.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (pow (/ l Om) 2)) (- U U*))))

Rules

92×	`associate-*r/`
90×	`add-sqr-sqrt`
89×	`*-un-lft-identity`
89×	`add-cube-cbrt`
63×	`pow1`
62×	`add-exp-log`
60×	`add-cbrt-cube`
50×	`flip3--`
50×	`flip--`
48×	`add-log-exp`
48×	`expm1-log1p-u`
48×	`log1p-expm1-u`
47×	`associate-r`
36×	`frac-sub`
32×	`sqrt-div`
30×	`distribute-lft-in`
30×	`distribute-rgt-in`
24×	`prod-diff`
18×	`sub-neg`
16×	`associate--l+`
15×	`log-prod`
14×	`log-pow`
13×	`exp-prod`
11×	`*-commutative`
11×	`sqrt-prod`
9×	`times-frac`
8×	`unpow-prod-down`
6×	`pow1/2`
6×	`cbrt-prod`
5×	`cbrt-unprod`
5×	`associate-l`
5×	`prod-exp`
5×	`pow-prod-down`
4×	`rem-log-exp`
4×	`associate-/l*`
4×	`cbrt-div`
4×	`div-inv`
3×	`exp-sum`
3×	`associate-/r*`
3×	`acos-asin`
2×	`associate-/r/`
2×	`sinh-def`
2×	`unpow2`
2×	`pow1/3`
2×	`frac-2neg`
2×	`unpow3`
2×	`clear-num`
2×	`cube-mult`
2×	`associate-/l/`
1×	`div-sub`
1×	`rem-exp-log`
1×	`cbrt-undiv`
1×	`div-exp`
1×	`rem-sqrt-square`
1×	`flip-+`
1×	`flip3-+`

end0.0ms