Time: 46.0s
Passed: 9/10
Tests: 11
Bits: 204/287

TestStartResult ?Target ?Time
x000.7s»
tan-example13.00.27.3s»
sqrt E30.71.46.1s»
sqrt D30.715.73.9s»
sqrt C30.70.42.1s»
sqrt B30.70.42.4s»
sqrt A30.70.42.2s»
rsin B15.10.46.5s»
rsin A15.10.45.8s»
mixedcos28.31.98.0s»
(/ (- x lo) (- hi lo))62.062.01.1s»