Time: 15.3m
Passed: 28/28
Tests: 28
Bits: 987/1055

Date:Monday, January 22nd, 2018
Commit:5d189ef122b6f841fd4ac9a91eb19d1097db4d45ondevelop
Points:256
Fuel:3
Seed:#(151349756 408087815 228312487 2538703040 1980610373 1250971417)
Flags:
rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicsetup:simplifygenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorprecision:double
default
TestStartResultTarget∞ ↔ ℝTime
sqrtexp (problem 3.4.4)39.30.013.3s»
sintan (problem 3.4.5)30.90.338.5s»
quad2p (problem 3.2.1, positive)38.16.758.3s»
quad2m (problem 3.2.1, negative)34.45.632.3s»
expm1 (example 3.7)59.20.116.0s»
cos2 (problem 3.4.1)30.50.439.5s»
2nthrt (problem 3.4.6)31.24.91.5m»
2log (problem 3.3.6)41.220.315.1s»
2frac (problem 3.3.1)14.60.112.3s»
2cos (problem 3.3.5)39.70.945.6s»
2cbrt (problem 3.3.4)30.30.516.9s»
tanhf (example 3.4)29.70.50.028.6s»
quadp (p42, positive)34.17.621.81.3m»
quadm (p42, negative)34.45.721.551.4s»
qlog (example 3.10)61.50.00.316.0s»
logs (example 3.8)63.30.360.835.7s»
logq (problem 3.4.3)59.50.10.122.2s»
invcot (example 3.9)59.90.30.114.7s»
expq3 (problem 3.4.2)62.04.414.735.0s»
expq2 (section 3.11)44.70.144.78.7s»
expax (section 3.5)33.50.28.033.3s»
exp2 (problem 3.3.7)34.20.19.123.4s»
3frac (problem 3.3.3)10.20.10.322.3s»
2tan (problem 3.3.2)36.77.927.21.3m»
2sqrt (example 3.1)29.90.20.212.1s»
2sin (example 3.3)37.00.415.145.7s»
2isqrt (example 3.6)20.10.40.721.7s»
2atan (example 3.5)15.20.40.411.7s»