Time: 6.2m
Passed: 27/28
Tests: 28
Bits: 970/1064

Date:Wednesday, November 22nd, 2017
Commit:f044071d5e34b323d8f638f9445a0455d7af212f on develop
Points:256
Fuel:3
Seed:#(1067773715 2765207660 218871639 3688798924 2755544087 2054563380)
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.00.05.9s»
sintan (problem 3.4.5)30.90.019.3s»
quad2p (problem 3.2.1, positive)37.17.110.2s»
quad2m (problem 3.2.1, negative)37.26.110.9s»
cos2 (problem 3.4.1)30.60.417.2s»
2nthrt (problem 3.4.6)31.33.028.2s»
2log (problem 3.3.6)41.320.15.7s»
2frac (problem 3.3.1)14.80.13.2s»
2cos (problem 3.3.5)40.10.729.1s»
2cbrt (problem 3.3.4)30.129.89.3s»
tanhf (example 3.4)29.80.5012.6s»
quadp (p42, positive)37.45.425.417.2s»
quadm (p42, negative)35.46.922.823.1s»
qlog (example 3.10)61.40.00.54.1s»
logs (example 3.8)63.30.360.810.2s»
logq (problem 3.4.3)59.40.10.17.0s»
invcot (example 3.9)59.80.30.17.8s»
expq3 (problem 3.4.2)62.00.014.87.3s»
expq2 (section 3.11)45.30.145.33.9s»
expm1 (example 3.7)59.20.10.14.4s»
expax (section 3.5)33.60.38.110.6s»
exp2 (problem 3.3.7)35.00.19.112.3s»
3frac (problem 3.3.3)9.80.30.326.6s»
2tan (problem 3.3.2)37.110.426.644.4s»
2sqrt (example 3.1)30.10.20.23.9s»
2sin (example 3.3)37.50.515.728.4s»
2isqrt (example 3.6)19.80.40.76.3s»
2atan (example 3.5)15.30.40.43.5s»