Time: 48.7s
Passed: 9/10
Tests: 11
Bits: 214/283

TestStartResult ?Target ?Time
x001.0s»
tan-example12.70.38.4s»
sqrt E29.61.45.6s»
sqrt D29.60.43.9s»
sqrt C30.20.42.0s»
sqrt B30.20.42.0s»
sqrt A30.20.42.0s»
rsin B15.00.47.7s»
rsin A15.00.47.7s»
mixedcos28.02.67.6s»
(/ (- x lo) (- hi lo))62.062.00.9s»