Time: 12.2m
Passed: 26/28
Tests: 28
Bits: 923/1054

Date:Wednesday, November 22nd, 2017
Commit:f044071d5e34b323d8f638f9445a0455d7af212f on develop
Points:256
Fuel:3
Seed:#(644180380 3784176976 401987740 22459203 1940947670 3323606534)
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.20.013.5s»
sintan (problem 3.4.5)31.40.026.4s»
quad2p (problem 3.2.1, positive)35.46.630.9s»
quad2m (problem 3.2.1, negative)34.57.424.4s»
cos2 (problem 3.4.1)31.20.329.4s»
2nthrt (problem 3.4.6)30.97.748.6s»
2log (problem 3.3.6)40.820.110.1s»
2frac (problem 3.3.1)15.00.18.4s»
2cos (problem 3.3.5)40.01.040.6s»
2cbrt (problem 3.3.4)29.729.646.8s»
tanhf (example 3.4)29.90.5022.9s»
quadp (p42, positive)35.57.923.332.3s»
quadm (p42, negative)34.37.321.543.6s»
qlog (example 3.10)61.20.00.511.3s»
logs (example 3.8)63.30.360.824.3s»
logq (problem 3.4.3)59.20.10.116.3s»
invcot (example 3.9)59.90.30.112.4s»
expq3 (problem 3.4.2)62.00.014.717.8s»
expq2 (section 3.11)44.80.144.815.2s»
expm1 (example 3.7)59.30.10.18.7s»
expax (section 3.5)33.40.28.118.4s»
exp2 (problem 3.3.7)34.50.19.018.0s»
3frac (problem 3.3.3)10.10.30.31.2m»
2tan (problem 3.3.2)36.59.127.41.2m»
2sqrt (example 3.1)29.829.80.29.9s»
2sin (example 3.3)37.30.515.339.3s»
2isqrt (example 3.6)19.60.70.716.3s»
2atan (example 3.5)15.61.10.48.3s»