Time: 45.3s
Passed: 9/10
Tests: 11
Bits: 218/285

TestStartResult ?Target ?Time
x000.7s»
tan-example13.10.28.3s»
sqrt E30.40.45.2s»
sqrt D30.40.42.8s»
sqrt C30.40.41.7s»
sqrt B30.40.42.3s»
sqrt A30.40.42.0s»
rsin B15.30.46.9s»
rsin A15.30.36.2s»
mixedcos27.42.68.4s»
(/ (- x lo) (- hi lo))62.062.01.0s»