Time: 14.4m
Passed: 25/28
Tests: 28
Bits: 926/1054

Date:Friday, April 28th, 2017
Commit:a6770931126e0702f83b80fffb3cdf362d9e07c9 on develop
Points:256
Fuel:3
Seed:#(3283856077 3183919125 3399458751 396155847 3688194147 1862413033)
Flags:
precision:doublesetup:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicgenerate:rrgenerate:taylorgenerate:simplify
default
TestStartResultTarget∞ ↔ ℝTime
sqrtexp (problem 3.4.4)39.70.012.3s»
sintan (problem 3.4.5)31.50.137.3s»
quad2p (problem 3.2.1, positive)36.08.031.8s»
quad2m (problem 3.2.1, negative)39.16.832.8s»
cos2 (problem 3.4.1)31.10.328.1s»
2nthrt (problem 3.4.6)30.99.61.2m»
2log (problem 3.3.6)40.619.615.2s»
2frac (problem 3.3.1)14.20.014.8s»
2cos (problem 3.3.5)39.70.747.5s»
2cbrt (problem 3.3.4)29.429.446.4s»
tanhf (example 3.4)30.21.6026.5s»
quadp (p42, positive)34.35.321.652.8s»
quadm (p42, negative)34.85.522.154.4s»
qlog (example 3.10)61.30.00.49.8s»
logs (example 3.8)63.30.360.821.3s»
logq (problem 3.4.3)59.30.10.115.5s»
invcot (example 3.9)59.90.30.111.2s»
expq3 (problem 3.4.2)62.00.015.528.5s»
expq2 (section 3.11)45.10.145.111.1s»
expm1 (example 3.7)59.20.10.113.2s»
expax (section 3.5)33.10.17.920.8s»
exp2 (problem 3.3.7)34.30.18.514.6s»
3frac (problem 3.3.3)9.50.10.21.1m»
2tan (problem 3.3.2)36.29.126.754.3s»
2sqrt (example 3.1)29.529.50.28.7s»
2sin (example 3.3)36.80.614.81.5m»
2isqrt (example 3.6)18.90.30.625.8s»
2atan (example 3.5)14.70.40.49.1s»