Herbie results

Time: 17.8m

Passed: 21/25

Tests: 29

Bits: 439/549

+61.5
+0.0
+49.1
+38.0
+45.3
+39.9
+38.9
+27.4
+25.1
+28.3
+12.7
+14.1
+16.2
+14.4
+13.3
+11.3
+3.7
-0.0
+0.0
+0.0
-0.0
+0.0
+0.0
-0.0
+0.0
0.0
0.0
0
ERR

Date:	Friday, April 27th, 2018
Commit:	c565995212a7b7111d82a7183796d8cbdcf87004 on fix-regimes-bug
Hostname:	warfa
Points:	256
Fuel:	4
Seed:	#(1070131407 1246090267 3027482374 2150728003 2026520792 2347815650)
Flags:	`rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicsetup:simplifygenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:double` `+o rules:numerics`

Test	Start	Result ?	Target ?	∞ ↔ ℝ	Time
arccos	0.0	0.0			15.3s	»
Rosa's TurbineBenchmark	11.7	0.4			47.7s	»
Rosa's FloatVsDoubleBenchmark	0.5	0.5			2.8m	»
Rosa's DopplerBench	17.5	1.3			27.6s	»
Rosa's Benchmark	0.1	0.1			16.0s	»
Radioactive exchange between two surfaces	0.0	0.0			5.5s	»
NMSE Section 6.1 mentioned, B	13.6	0.3			1.2m	»
NMSE Section 6.1 mentioned, A	29.3	1.0			1.5m	»
From Warwick Tucker's Validated Numerics	58.1	58.1			33.8s	»
x / (x^2 + 1)	14.4	0.0	0.1		13.3s	»
simple fma test	45.3	0	0		3.3s	»
ln(1 + x)	38.9	0.0	0.3		4.2s	»
fma_test2	49.1	0	0		1.5s	»
fma_test1	61.8	0.3	50.6		11.2s	»
The quadratic formula (r2)	33.7	6.3	20.6		1.5m	»
The quadratic formula (r1)	33.7	8.6	20.6		1.8m	»
Rectangular parallelepiped of dimension a×b×c	0	0	0		2.2s	»
Kahan's exp quotient	39.9	0.0	39.0		4.2s	»
Expression, p6	3.7	0	3.8		24.8s	»
Expression, p14	0.0	0.0	0.0		24.8s	»
Expression 4, p15	0.0	0.0	0.0		33.3s	»
Expression 3, p15	0.0	0.0	0.0		6.7s	»
Expression 2, p15	0.0	0.0	0.0		1.7s	»
Expression 1, p15	0.4	0.4	0.2		52.5s	»
Difference of squares	0.0	0.0	0.0		3.8s	»
Compound Interest	47.7	9.7	47.1		2.0m	»
Complex division, real part	25.2	12.5	0.4		26.5s	»
Complex division, imag part	24.7	10.7	0.4		33.5s	»
Area of a triangle					24.3s	»