Time: 43.8s
Passed: 9/10
Tests: 11
Bits: 183/286

TestStartResult ?Target ?Time
x001.1s»
tan-example12.90.28.1s»
sqrt E30.515.64.3s»
sqrt D30.515.64.5s»
sqrt C30.50.42.1s»
sqrt B30.50.31.9s»
sqrt A30.50.31.8s»
rsin B15.40.45.4s»
rsin A15.50.55.4s»
mixedcos27.77.88.1s»
(/ (- x lo) (- hi lo))62.062.01.0s»