Herbie results

Time: 2.0min

Passed: 10/11

Tests: 13

Bits: 231/343

+13.4
-0.1
+29.8
+29.5
+29.5
+29.8
+29.5
+27.3
+14.3
+14.3
+13.3
0.0
0

Test	Start	Result ?	Target ?	Time
x	0	0		0.6s	»
tan-example	13.5	0.2		38.8s	»
sqrt E	29.9	0.1		3.4s	»
sqrt D	29.9	0.4		2.9s	»
sqrt C	29.9	0.4		2.2s	»
sqrt B	29.9	0.4		2.2s	»
sqrt A	29.9	0.1		2.6s	»
rsin B	14.6	0.3		10.4s	»
rsin A	14.6	0.3		10.0s	»
mixedcos	28.6	1.3		9.3s	»
expfmod	59.8	59.9		13.0s	»
exp-w crasher	0.3	0.3		20.3s	»
(/ (- x lo) (- hi lo))	62.0	48.6		2.7s	»