Time: 14.7m
Passed: 28/28
Tests: 28
Bits: 978/1047

Date:Friday, May 26th, 2017
Commit:64290a9c63a2da40d06563ca7ed93eed94ab3122 on develop
Points:256
Fuel:3
Seed:#(2277612311 2645429965 1090895633 2857793080 2144184008 3989768357)
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.07.9s»
sintan (problem 3.4.5)31.20.034.5s»
quad2p (problem 3.2.1, positive)35.06.331.9s»
quad2m (problem 3.2.1, negative)35.06.734.4s»
cos2 (problem 3.4.1)31.00.332.1s»
2nthrt (problem 3.4.6)31.28.359.0s»
2log (problem 3.3.6)40.919.513.1s»
2frac (problem 3.3.1)14.60.18.8s»
2cos (problem 3.3.5)39.60.951.4s»
2cbrt (problem 3.3.4)30.12.620.3s»
tanhf (example 3.4)30.10.50.022.8s»
quadp (p42, positive)34.86.722.956.5s»
quadm (p42, negative)34.35.621.355.4s»
qlog (example 3.10)61.30.00.421.2s»
logs (example 3.8)63.30.360.851.3s»
logq (problem 3.4.3)59.30.10.113.7s»
invcot (example 3.9)59.90.30.116.2s»
expq3 (problem 3.4.2)61.40.014.351.1s»
expq2 (section 3.11)45.20.030.018.0s»
expm1 (example 3.7)59.20.10.115.7s»
expax (section 3.5)32.40.15.921.7s»
exp2 (problem 3.3.7)29.80.30.518.2s»
3frac (problem 3.3.3)9.90.10.21.0m»
2tan (problem 3.3.2)36.19.126.81.3m»
2sqrt (example 3.1)30.20.20.29.5s»
2sin (example 3.3)36.70.515.251.1s»
2isqrt (example 3.6)19.80.40.717.4s»
2atan (example 3.5)15.10.30.39.1s»