Time: 2.0min
Passed: 9/10
Tests: 11
Bits: 220/288

TestStartResult ?Target ?Time
x000.5s»
tan-example13.40.213.7s»
sqrt E30.70.414.9s»
sqrt D30.70.414.1s»
sqrt C30.70.415.1s»
sqrt B30.70.410.2s»
sqrt A30.70.49.5s»
rsin B15.30.414.3s»
rsin A15.30.313.4s»
mixedcos28.02.914.0s»
(/ (- x lo) (- hi lo))62.062.02.9s»