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

Date:Thursday, January 25th, 2018
Commit:10b887e05fef12c48b6e488eda1bde2ad6917b4e 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.8s»
sintan (problem 3.4.5)31.00.11.4m»
quad2p (problem 3.2.1, positive)33.77.41.7m»
quad2m (problem 3.2.1, negative)33.35.51.5m»
expm1 (example 3.7)59.30.124.3s»
cos2 (problem 3.4.1)30.81.11.5m»
2nthrt (problem 3.4.6)31.17.83.1m»
2log (problem 3.3.6)40.519.433.6s»
2frac (problem 3.3.1)14.80.123.0s»
2cos (problem 3.3.5)39.80.92.9m»
2cbrt (problem 3.3.4)30.10.739.4s»
tanhf (example 3.4)30.00.50.01.6m»
quadp (p42, positive)34.27.021.42.3m»
quadm (p42, negative)35.86.423.32.2m»
qlog (example 3.10)61.40.00.527.3s»
logs (example 3.8)63.30.360.852.0s»
logq (problem 3.4.3)59.40.10.147.7s»
invcot (example 3.9)59.90.30.135.1s»
expq3 (problem 3.4.2)62.00.015.153.5s»
expq2 (section 3.11)45.50.029.956.1s»
expax (section 3.5)33.00.17.61.1m»
exp2 (problem 3.3.7)34.70.18.81.3m»
3frac (problem 3.3.3)10.10.10.41.3m»
2tan (problem 3.3.2)36.88.126.93.1m»
2sqrt (example 3.1)29.90.20.224.0s»
2sin (example 3.3)37.00.615.12.3m»
2isqrt (example 3.6)19.90.50.742.4s»
2atan (example 3.5)15.30.40.425.9s»