Time: 15.5m
Passed: 27/28
Tests: 28
Bits: 875/1019

Date:Wednesday, April 18th, 2018
Commit:302e7c018544d020c24d5748dfb5853a1246d8b9 on develop
Points:256
Fuel:4
Seed:#(1064269945 2896236262 301053905 1701069080 1701464310 1614783279)
Flags:
rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicsetup:simplifygenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:double
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)39.60.010.1s»
sintan (problem 3.4.5)31.30.041.7s»
quad2p (problem 3.2.1, positive)33.59.149.3s»
quad2m (problem 3.2.1, negative)33.810.343.0s»
expm1 (example 3.7)58.70.03.9s»
cos2 (problem 3.4.1)31.10.325.5s»
2nthrt (problem 3.4.6)33.424.246.1s»
2log (problem 3.3.6)29.60.016.4s»
2frac (problem 3.3.1)14.20.419.4s»
2cos (problem 3.3.5)39.30.838.8s»
2cbrt (problem 3.3.4)29.70.527.6s»
tanhf (example 3.4)30.30.50.028.7s»
quadp (p42, positive)33.59.620.92.0m»
quadm (p42, negative)33.910.420.81.6m»
qlog (example 3.10)60.90.00.313.7s»
logs (example 3.8)63.060.8022.4s»
logq (problem 3.4.3)58.50.20.216.2s»
invcot (example 3.9)59.90.40.133.9s»
expq3 (problem 3.4.2)58.60.414.440.4s»
expq2 (section 3.11)40.10.439.719.1s»
expax (section 3.5)29.10.00.28.5s»
exp2 (problem 3.3.7)29.60.50.018.4s»
3frac (problem 3.3.3)10.00.20.237.3s»
2tan (problem 3.3.2)36.713.914.91.2m»
2sqrt (example 3.1)30.00.20.216.6s»
2sin (example 3.3)36.80.514.935.6s»
2isqrt (example 3.6)19.70.90.620.7s»
2atan (example 3.5)14.80.40.410.5s»