Herbie results

Time: 1.2min

Passed: 9/10

Tests: 11

Bits: 216/284

0.0
+29.8
+29.8
+29.8
+29.8
+29.8
+26.1
+14.3
+14.3
+12.6
0

Test	Start	Result ?	Target ?	Time
x	0	0		1.0s	»
tan-example	12.8	0.2		15.2s	»
sqrt E	30.2	0.4		5.1s	»
sqrt D	30.2	0.4		3.8s	»
sqrt C	30.2	0.4		2.4s	»
sqrt B	30.2	0.4		1.9s	»
sqrt A	30.2	0.4		2.6s	»
rsin B	14.6	0.3		13.2s	»
rsin A	14.6	0.3		13.2s	»
mixedcos	28.7	2.6		13.9s	»
(/ (- x lo) (- hi lo))	62.0	62.0		1.7s	»