Time: 7.3m
Passed: 27/28
Tests: 28
Bits: 986/1039

Date:Sunday, January 21st, 2018
Commit:77c70597914d1760113b1b75519c520d7a26bf5dondevelop
Points:256
Fuel:3
Seed:#(1062803647 245428163 493620569 3595423923 1908391097 2390014376)
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.04.5s»
sintan (problem 3.4.5)31.30.623.0s»
quad2p (problem 3.2.1, positive)35.96.820.1s»
quad2m (problem 3.2.1, negative)35.96.718.4s»
expm1 (example 3.7)59.20.15.8s»
cos2 (problem 3.4.1)31.10.521.4s»
2nthrt (problem 3.4.6)24.111.050.3s»
2log (problem 3.3.6)29.60.111.9s»
2frac (problem 3.3.1)14.40.14.8s»
2cos (problem 3.3.5)39.51.030.4s»
2cbrt (problem 3.3.4)30.00.57.7s»
tanhf (example 3.4)30.01.60.019.5s»
quadp (p42, positive)35.96.824.118.3s»
quadm (p42, negative)35.96.623.126.7s»
qlog (example 3.10)61.30.00.413.6s»
logs (example 3.8)63.30.360.810.7s»
logq (problem 3.4.3)59.30.10.15.7s»
invcot (example 3.9)59.90.30.17.8s»
expq3 (problem 3.4.2)62.00.015.010.0s»
expq2 (section 3.11)44.80.544.84.5s»
expax (section 3.5)33.10.37.813.2s»
exp2 (problem 3.3.7)33.90.18.616.4s»
3frac (problem 3.3.3)10.90.11.610.4s»
2tan (problem 3.3.2)36.77.827.433.3s»
2sqrt (example 3.1)30.00.20.25.1s»
2sin (example 3.3)37.00.515.128.6s»
2isqrt (example 3.6)19.90.50.710.2s»
2atan (example 3.5)14.80.40.44.3s»