Time: 2.4min
Passed: 9/10
Tests: 11
Bits: 203/286

TestStartResult ?Target ?Time
x001.1s»
tan-example13.10.230.9s»
sqrt E30.60.44.4s»
sqrt D30.615.75.9s»
sqrt C30.60.42.6s»
sqrt B30.60.41.7s»
sqrt A30.60.42.2s»
rsin B15.00.334.7s»
rsin A15.00.434.5s»
mixedcos28.12.423.9s»
(/ (- x lo) (- hi lo))62.062.01.0s»