Time: 15.6m
Passed: 26/28
Tests: 28
Bits: 972/1058

Date:Friday, December 8th, 2017
Commit:6125a88d8538fb5e076a6c798bb59ab196c75d95 on develop
Points:256
Fuel:3
Seed:#(1068028399 4028058041 2917032441 2563479541 765645300 1132738916)
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.50.013.9s»
sintan (problem 3.4.5)31.10.01.2m»
quad2p (problem 3.2.1, positive)36.76.143.7s»
quad2m (problem 3.2.1, negative)39.84.238.0s»
cos2 (problem 3.4.1)30.60.344.6s»
2nthrt (problem 3.4.6)31.41.41.2m»
2log (problem 3.3.6)40.819.411.6s»
2frac (problem 3.3.1)14.80.15.6s»
2cos (problem 3.3.5)39.90.91.3m»
2cbrt (problem 3.3.4)30.50.518.7s»
tanhf (example 3.4)29.80.50.038.7s»
quadp (p42, positive)33.95.921.31.1m»
quadm (p42, negative)34.05.921.51.0m»
qlog (example 3.10)61.40.00.420.2s»
logs (example 3.8)63.30.360.827.2s»
logq (problem 3.4.3)59.40.10.123.4s»
invcot (example 3.9)59.90.30.110.0s»
expq3 (problem 3.4.2)61.80.514.533.0s»
expq2 (section 3.11)45.30.145.323.4s»
expm1 (example 3.7)59.20.10.14.5s»
expax (section 3.5)32.09.85.630.1s»
exp2 (problem 3.3.7)34.00.18.830.6s»
3frac (problem 3.3.3)10.40.10.725.6s»
2tan (problem 3.3.2)36.78.727.050.0s»
2sqrt (example 3.1)30.20.20.24.9s»
2sin (example 3.3)36.80.615.356.6s»
2isqrt (example 3.6)19.719.70.620.6s»
2atan (example 3.5)15.30.40.415.3s»