Time: 42.7s
Passed: 9/10
Tests: 11
Bits: 187/285

TestStartResult ?Target ?Time
x001.1s»
tan-example12.70.28.3s»
sqrt E30.415.73.9s»
sqrt D30.415.74.0s»
sqrt C30.40.42.0s»
sqrt B30.40.31.8s»
sqrt A30.40.31.7s»
rsin B15.10.35.7s»
rsin A15.10.46.0s»
mixedcos28.22.77.2s»
(/ (- x lo) (- hi lo))62.062.01.0s»