Time: 3.0m

Passed: 2/10

Tests: 12

Bits: 6/190

0.0
+1.0
-0.0
+4.7
0.0
0.0
ERR
ERR
ERR
ERR
ERR
ERR

Date:	Tuesday, January 22nd, 2019
Commit:	45d4082dea7f80b56c44622251112721670e87cb on develop
Hostname:	warfa
Points:	256
Fuel:	4
Seed:	2019022
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
Toniolo and Linder, Equation (13)	33.2	28.5			1.3m	»
Random Jason Timeout Test 015					176.0ms	»
Random Jason Timeout Test 014	0.0	0.0			16.8s	»
Random Jason Timeout Test 012	60.5	59.5			40.1s	»
Random Jason Timeout Test 009					229.0ms	»
Random Jason Timeout Test 006					582.0ms	»
Random Jason Timeout Test 004	34.6	34.6			24.5s	»
Random Jason Timeout Test 003					125.0ms	»
Random Jason Timeout Test 002	0.0	0.0			15.9s	»
Random Jason Timeout Test 001					26.0ms	»
Area of a triangle					18.0ms	»
(/ (- x lo) (- hi lo))	62.0	62.0			1.9s	»

Details

sample1.3m

Algorithm

12×

intervals

Results

51.0s	32237×	body	10240	exit
7.9s	3413×	body	2560	valid
5.9s	5092×	body	1280	valid
5.8s	38044×	body	80	nan
4.8s	37203×	body	80	valid
1.8s	2906×	body	640	valid
586.0ms	1471×	body	320	valid
233.0ms	8256×	pre	80	true
203.0ms	743×	body	160	valid
33.0ms	16×	body	5120	valid
25.0ms	9×	body	5120	nan
14.0ms	9×	body	2560	nan
12.0ms	10×	body	1280	nan
8.0ms	13×	body	640	nan
4.0ms	10×	body	320	nan
2.0ms	6×	body	160	nan

simplify1.1m

Calls

806 calls:

Slowest

682.0ms	(sqrt (* (* (* 2 n) U) (- (* (- (pow t 3) (pow (* 2 (/ (* l l) Om)) 3)) (* Om (+ U U))) ( (+ (* t t) (+ (* (* 2 (/ (* l l) Om)) (* 2 (/ (* l l) Om))) (* t (* 2 (/ (* l l) Om))))) (* (* (* n l) (/ l Om)) (- (* U U) (* U* U*)))))))
484.0ms	(cbrt (* (* (exp (log (- (exp c) (exp (- c))))) (exp (log (- (exp c) (exp (- c)))))) (exp (log (- (exp c) (exp (- c)))))))
474.0ms	(* (+ (* t t) (+ (* (* 2 (/ l (/ Om l))) (* 2 (/ l (/ Om l)))) (* t (* 2 (/ l (/ Om l)))))) (* Om Om))
464.0ms	(* (+ t (* 2 (/ l (/ Om l)))) (* Om Om))
415.0ms	(* (* (* (/ l Om) (/ l Om)) (/ l Om)) (* (* (- U U) (- U U)) (- U U*)))

prune16.4s

series7.1s

Calls

63 calls:

Slowest

1.3s	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*)))))
962.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))
774.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*)))))
758.0ms	(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (/ l Om)) (* (/ l Om) (- U U*))))))
391.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))

regimes1.7s

Accuracy

Total 8.8b remaining (4.8%)

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

localize624.0ms

rewrite426.0ms

Algorithm

21×	rewrite-expression-head

Calls

63 calls:

Slowest

35.0ms	(cbrt (* (* (exp (log (sinh c))) (exp (log (sinh c)))) (exp (log (sinh c)))))
31.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* n (/ l Om)) (* (/ l Om) (- U U*)))))
27.0ms	(cbrt (* (* (exp (log (sinh c))) (exp (log (sinh c)))) (exp (log (sinh c)))))
26.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*))))
23.0ms	(* (* (* 2 n) U) (- (- t (* 2 (/ l (/ Om l)))) (* (* (* n (/ l Om)) (/ l Om)) (- U U*))))

Rules

396×	`associate-*r/`
184×	`frac-sub`
183×	`flip3--`
183×	`flip--`
174×	`frac-times`
115×	`add-sqr-sqrt`
114×	`*-un-lft-identity`
114×	`add-cube-cbrt`
105×	`pow1`
101×	`associate-*l/`
91×	`add-exp-log`
89×	`add-cbrt-cube`
78×	`sqrt-div`
72×	`add-log-exp`
60×	`associate-r`
36×	`exp-prod`
36×	`sinh-def`
34×	`distribute-lft-in`
34×	`sub-neg`
34×	`distribute-rgt-in`
32×	`exp-diff`
32×	`log-div`
30×	`log-prod`
24×	`exp-sum`
23×	`associate-l`
20×	`associate--l+`
16×	`pow-prod-down`
15×	`log-pow`
15×	`*-commutative`
14×	`cbrt-unprod`
14×	`prod-exp`
14×	`cbrt-div`
13×	`sqrt-prod`
12×	`associate--r+`
9×	`pow1/2`
9×	`times-frac`
8×	`rem-exp-log`
8×	`cbrt-prod`
6×	`pow1/3`
4×	`pow-prod-up`
4×	`associate-/l*`
4×	`unpow-prod-down`
4×	`div-inv`
3×	`associate-/r*`
2×	`rem-log-exp`
2×	`sum-log`
2×	`associate--l-`
2×	`frac-2neg`
2×	`diff-log`
2×	`flip3-+`
2×	`pow2`
2×	`associate-/r/`
2×	`pow3`
2×	`pow-plus`
2×	`cube-mult`
2×	`acos-asin`
2×	`clear-num`
2×	`rem-cbrt-cube`
2×	`+-commutative`
2×	`flip-+`
2×	`associate-/l/`
2×	`unpow3`
2×	`associate-+r+`
1×	`exp-to-pow`
1×	`div-sub`
1×	`cbrt-undiv`
1×	`unpow2`
1×	`rem-square-sqrt`
1×	`div-exp`
1×	`rem-sqrt-square`
1×	`sqrt-unprod`

bsearch187.0ms

end0.0ms