Time: 34.7m
Passed: 28/28
Tests: 28
Bits: 985/1053

Date:Wednesday, January 24th, 2018
Commit:756aaf858d356381cf01d7456d50967ad474c942 on develop
Points:256
Fuel:3
Seed:#(1062900086 561157142 2241869825 1166610429 2484609072 2159574644)
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)40.00.013.0s»
sintan (problem 3.4.5)31.00.11.6m»
quad2p (problem 3.2.1, positive)33.77.41.8m»
quad2m (problem 3.2.1, negative)33.35.51.6m»
expm1 (example 3.7)59.30.132.5s»
cos2 (problem 3.4.1)30.81.11.2m»
2nthrt (problem 3.4.6)31.17.83.2m»
2log (problem 3.3.6)40.519.434.2s»
2frac (problem 3.3.1)14.80.123.1s»
2cos (problem 3.3.5)39.80.93.0m»
2cbrt (problem 3.3.4)30.10.738.7s»
tanhf (example 3.4)30.00.50.01.6m»
quadp (p42, positive)34.27.021.42.3m»
quadm (p42, negative)35.86.423.32.1m»
qlog (example 3.10)61.40.00.519.2s»
logs (example 3.8)63.30.360.81.0m»
logq (problem 3.4.3)59.40.10.138.8s»
invcot (example 3.9)59.90.30.131.6s»
expq3 (problem 3.4.2)62.00.015.157.1s»
expq2 (section 3.11)45.50.029.956.2s»
expax (section 3.5)33.00.17.61.1m»
exp2 (problem 3.3.7)34.70.18.81.2m»
3frac (problem 3.3.3)10.10.10.41.2m»
2tan (problem 3.3.2)36.98.526.62.3m»
2sqrt (example 3.1)29.90.20.220.5s»
2sin (example 3.3)37.00.615.12.2m»
2isqrt (example 3.6)19.90.50.739.9s»
2atan (example 3.5)15.30.40.424.7s»