Time: 6.3m
Passed: 27/28
Tests: 28
Bits: 969/1037

Date:Saturday, May 27th, 2017
Commit:658c398ff6210288da8ba59f986f25f571fa96f5 on develop
Points:256
Fuel:3
Seed:#(1064875752 1442698706 3150723005 1316518582 2592983078 3835530843)
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.04.0s»
sintan (problem 3.4.5)31.20.029.5s»
quad2p (problem 3.2.1, positive)35.76.311.5s»
quad2m (problem 3.2.1, negative)35.66.315.5s»
cos2 (problem 3.4.1)30.70.313.5s»
2nthrt (problem 3.4.6)23.58.838.7s»
2log (problem 3.3.6)29.90.110.5s»
2frac (problem 3.3.1)14.70.13.4s»
2cos (problem 3.3.5)39.60.731.6s»
2cbrt (problem 3.3.4)30.22.725.0s»
tanhf (example 3.4)29.90.5012.6s»
quadp (p42, positive)34.75.121.822.2s»
quadm (p42, negative)34.75.022.023.0s»
qlog (example 3.10)61.40.00.44.6s»
logs (example 3.8)63.30.360.88.5s»
logq (problem 3.4.3)59.30.10.18.9s»
invcot (example 3.9)59.90.30.15.5s»
expq3 (problem 3.4.2)62.00.014.47.0s»
expq2 (section 3.11)45.10.145.13.4s»
expm1 (example 3.7)59.40.10.14.5s»
expax (section 3.5)32.50.15.87.8s»
exp2 (problem 3.3.7)33.90.18.67.8s»
3frac (problem 3.3.3)10.20.30.57.7s»
2tan (problem 3.3.2)36.79.327.333.7s»
2sqrt (example 3.1)30.30.20.23.6s»
2sin (example 3.3)37.40.515.128.0s»
2isqrt (example 3.6)20.120.10.63.9s»
2atan (example 3.5)15.20.70.44.6s»