Time: 45.4s
Passed: 9/10
Tests: 11
Bits: 220/288

TestStartResult ?Target ?Time
x000.6s»
tan-example13.40.28.8s»
sqrt E30.70.54.3s»
sqrt D30.70.54.2s»
sqrt C30.70.42.3s»
sqrt B30.70.52.5s»
sqrt A30.70.41.6s»
rsin B15.30.46.6s»
rsin A15.30.46.1s»
mixedcos28.02.77.3s»
(/ (- x lo) (- hi lo))62.062.01.1s»