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

TestStartResult ?Target ?Time
x001.0s»
tan-example13.10.215.0s»
sqrt E30.60.44.4s»
sqrt D30.615.76.0s»
sqrt C30.60.42.5s»
sqrt B30.60.41.7s»
sqrt A30.60.42.2s»
rsin B14.90.413.5s»
rsin A14.90.313.2s»
mixedcos28.02.913.0s»
(/ (- x lo) (- hi lo))62.062.02.2s»