Time: 36.6m
Passed: 27/28
Tests: 28
Bits: 985/1038

Date:Tuesday, January 23rd, 2018
Commit:ec06bb5923ddeb78fde7e5b0c04b5d536e68ae31ondevelop
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.018.1s»
sintan (problem 3.4.5)31.30.61.8m»
quad2p (problem 3.2.1, positive)35.96.81.6m»
quad2m (problem 3.2.1, negative)35.96.71.4m»
expm1 (example 3.7)59.20.125.6s»
cos2 (problem 3.4.1)31.10.51.9m»
2nthrt (problem 3.4.6)24.111.04.0m»
2log (problem 3.3.6)29.60.159.3s»
2frac (problem 3.3.1)14.40.122.1s»
2cos (problem 3.3.5)39.51.02.6m»
2cbrt (problem 3.3.4)30.00.537.0s»
tanhf (example 3.4)30.01.60.01.4m»
quadp (p42, positive)35.96.824.11.4m»
quadm (p42, negative)34.56.221.35.3m»
qlog (example 3.10)61.30.00.455.1s»
logs (example 3.8)63.30.360.847.7s»
logq (problem 3.4.3)59.30.10.128.2s»
invcot (example 3.9)59.90.30.133.1s»
expq3 (problem 3.4.2)62.00.015.046.1s»
expq2 (section 3.11)44.80.544.822.2s»
expax (section 3.5)33.10.37.845.9s»
exp2 (problem 3.3.7)33.90.18.626.3s»
3frac (problem 3.3.3)10.90.11.647.6s»
2tan (problem 3.3.2)36.77.827.42.7m»
2sqrt (example 3.1)30.00.20.224.2s»
2sin (example 3.3)37.00.515.12.4m»
2isqrt (example 3.6)19.90.50.749.6s»
2atan (example 3.5)14.80.40.419.4s»