Herbie results

Time: 2.5min

Passed: 10/11

Tests: 13

Bits: 230/347

+10.0
-0.0
+30.2
+30.3
+30.2
+30.3
+30.2
+25.7
+14.8
+14.8
+13.3
0.0
0

Test	Start	Result ?	Target ?	Time
x	0	0		0.9s	»
tan-example	13.5	0.2		53.4s	»
sqrt E	30.7	0.4		3.4s	»
sqrt D	30.7	0.3		3.8s	»
sqrt C	30.7	0.4		2.6s	»
sqrt B	30.6	0.4		2.7s	»
sqrt A	30.7	0.4		2.5s	»
rsin B	15.2	0.3		14.6s	»
rsin A	15.2	0.3		13.7s	»
mixedcos	28.2	2.5		15.8s	»
expfmod	59.5	59.5		11.8s	»
exp-w crasher	0.2	0.2		20.2s	»
(/ (- x lo) (- hi lo))	62.0	52.0		1.8s	»