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

TestStartResult ?Target ?Time
x00895.0ms»
tan-example13.30.217.1s»
sqrt E30.20.44.6s»
sqrt D30.20.43.1s»
sqrt C30.40.41.8s»
sqrt B30.40.32.1s»
sqrt A30.40.41.9s»
rsin B14.40.45.3s»
rsin A14.40.45.3s»
mixedcos27.22.97.8s»
(/ (- x lo) (- hi lo))62.062.0931.0ms»