Time: 48.0m
Passed: 28/28
Tests: 28
Bits: 993/1060

Date:Monday, January 29th, 2018
Commit:13f07de5addf65718917a514ca48950af54d5e57 on develop
Points:256
Fuel:3
Seed:#(1062930989 876886121 3990119081 3032829768 3060892583 1929069376)
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.026.7s»
sintan (problem 3.4.5)31.10.02.6m»
quad2p (problem 3.2.1, positive)33.87.22.0m»
quad2m (problem 3.2.1, negative)38.64.01.7m»
expm1 (example 3.7)59.30.141.6s»
cos2 (problem 3.4.1)30.60.31.4m»
2nthrt (problem 3.4.6)30.47.54.8m»
2log (problem 3.3.6)40.919.746.9s»
2frac (problem 3.3.1)14.80.124.2s»
2cos (problem 3.3.5)39.70.94.5m»
2cbrt (problem 3.3.4)30.20.531.5s»
tanhf (example 3.4)30.10.50.32.8m»
quadp (p42, positive)33.58.021.22.8m»
quadm (p42, negative)38.64.326.82.5m»
qlog (example 3.10)61.30.00.530.6s»
logs (example 3.8)63.30.360.81.0m»
logq (problem 3.4.3)59.20.10.11.1m»
invcot (example 3.9)59.80.30.136.3s»
expq3 (problem 3.4.2)62.00.014.958.1s»
expq2 (section 3.11)45.30.029.752.1s»
expax (section 3.5)33.80.68.255.8s»
exp2 (problem 3.3.7)34.30.18.91.4m»
3frac (problem 3.3.3)10.30.30.32.6m»
2tan (problem 3.3.2)37.29.626.54.9m»
2sqrt (example 3.1)30.20.20.225.4s»
2sin (example 3.3)37.31.814.83.7m»
2isqrt (example 3.6)19.80.40.640.1s»
2atan (example 3.5)15.40.30.422.2s»