Time: 5.9m
Passed: 27/28
Tests: 28
Bits: 968/1044

Date:Wednesday, June 7th, 2017
Commit:fe217c86e8caf66aab2a65bdea46a7a3f9f1de32 on develop
Points:256
Fuel:3
Seed:#(1065033997 2389885643 4100569014 2620012693 26800780 3144211646)
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.70.02.2s»
sintan (problem 3.4.5)33.00.118.7s»
quad2p (problem 3.2.1, positive)33.98.213.6s»
quad2m (problem 3.2.1, negative)34.45.912.9s»
cos2 (problem 3.4.1)31.50.313.7s»
2nthrt (problem 3.4.6)31.52.727.9s»
2log (problem 3.3.6)29.31.111.7s»
2frac (problem 3.3.1)14.40.12.7s»
2cos (problem 3.3.5)39.81.230.0s»
2cbrt (problem 3.3.4)29.629.49.6s»
tanhf (example 3.4)30.70.50.012.0s»
quadp (p42, positive)33.98.221.120.5s»
quadm (p42, negative)34.95.622.220.5s»
qlog (example 3.10)61.40.00.44.0s»
logs (example 3.8)63.30.360.88.3s»
logq (problem 3.4.3)59.40.10.15.5s»
invcot (example 3.9)60.10.30.17.0s»
expq3 (problem 3.4.2)61.90.014.87.2s»
expq2 (section 3.11)45.40.145.44.5s»
expm1 (example 3.7)59.40.10.16.0s»
expax (section 3.5)33.60.17.76.6s»
exp2 (problem 3.3.7)34.00.18.76.1s»
3frac (problem 3.3.3)9.70.10.226.3s»
2tan (problem 3.3.2)37.09.726.530.8s»
2sqrt (example 3.1)29.70.20.23.4s»
2sin (example 3.3)37.60.415.129.1s»
2isqrt (example 3.6)19.80.40.610.7s»
2atan (example 3.5)14.90.40.43.2s»