Time: 50.4s
Passed: 9/10
Tests: 11
Bits: 215/283

TestStartResult ?Target ?Time
x001.0s»
tan-example13.50.214.5s»
sqrt E29.61.45.5s»
sqrt D29.60.43.8s»
sqrt C30.20.41.9s»
sqrt B30.20.41.9s»
sqrt A30.20.41.9s»
rsin B14.80.45.6s»
rsin A14.80.56.0s»
mixedcos28.02.67.3s»
(/ (- x lo) (- hi lo))62.062.00.9s»