Time: 4.7hr
Passed: 28/28
Tests: 28
Bits: 967/1027

TestStartResult ?Target ?Time
sqrtexp (problem 3.4.4)40.80.323.1min»
sintan (problem 3.4.5)31.40.010.8min»
quad2p (problem 3.2.1, positive)34.16.65.2min»
quad2m (problem 3.2.1, negative)34.76.56.6min»
cos2 (problem 3.4.1)31.40.27.2min»
2nthrt (problem 3.4.6)32.623.629.9min»
2log (problem 3.3.6)29.50.05.3min»
2frac (problem 3.3.1)14.40.16.6min»
2cos (problem 3.3.5)39.50.44.7min»
2cbrt (problem 3.3.4)29.80.53.1min»
tanhf (example 3.4)30.20.60.010.9min»
quadp (p42, positive)34.16.620.98.2min»
quadm (p42, negative)34.66.521.27.1min»
qlog (example 3.10)61.50.40.317.7min»
logs (example 3.8)63.0002.8min»
logq (problem 3.4.3)58.60.20.210.5min»
invcot (example 3.9)59.90.30.113.1min»
expq3 (problem 3.4.2)60.23.415.39.1min»
expq2 (section 3.11)41.10.640.83.7min»
expm1 (example 3.7)58.80.40.410.1min»
expax (section 3.5)29.70.50.216.0min»
exp2 (problem 3.3.7)29.60.60.012.0min»
3frac (problem 3.3.3)9.80.10.320.1min»
2tan (problem 3.3.2)37.00.414.98.4min»
2sqrt (example 3.1)29.90.20.23.9min»
2sin (example 3.3)37.10.414.85.9min»
2isqrt (example 3.6)19.40.50.717.4min»
2atan (example 3.5)14.90.30.33.3min»