Time: 37.2m
Passed: 28/28
Tests: 28
Bits: 988/1055

Date:Friday, April 28th, 2017
Commit:a6770931126e0702f83b80fffb3cdf362d9e07c9 on develop
Points:256
Fuel:3
Seed:#(772101555 1905824529 294602591 2478279198 2123125427 4197813737)
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.80.053.7s»
sintan (problem 3.4.5)31.30.12.3m»
quad2p (problem 3.2.1, positive)36.56.02.0m»
quad2m (problem 3.2.1, negative)37.85.32.1m»
cos2 (problem 3.4.1)31.10.31.4m»
2nthrt (problem 3.4.6)31.66.82.4m»
2log (problem 3.3.6)40.819.541.4s»
2frac (problem 3.3.1)14.00.030.9s»
2cos (problem 3.3.5)38.91.31.7m»
2cbrt (problem 3.3.4)29.82.61.4m»
tanhf (example 3.4)30.20.40.051.2s»
quadp (p42, positive)34.25.421.52.1m»
quadm (p42, negative)34.45.521.52.1m»
qlog (example 3.10)61.40.00.422.7s»
logs (example 3.8)63.30.360.843.1s»
logq (problem 3.4.3)59.40.10.11.5m»
invcot (example 3.9)59.90.30.126.2s»
expq3 (problem 3.4.2)62.00.014.73.9m»
expq2 (section 3.11)45.70.130.120.0s»
expm1 (example 3.7)59.30.10.135.5s»
expax (section 3.5)33.40.28.031.5s»
exp2 (problem 3.3.7)34.00.18.751.1s»
3frac (problem 3.3.3)9.50.10.22.3m»
2tan (problem 3.3.2)36.411.224.92.6m»
2sqrt (example 3.1)29.90.20.220.8s»
2sin (example 3.3)36.71.114.91.4m»
2isqrt (example 3.6)19.30.40.735.3s»
2atan (example 3.5)14.50.40.415.5s»