Time: 29.8m
Passed: 28/29
Tests: 32
Bits: 958/1080

Date:Monday, May 7th, 2018
Commit:9e6af34c6fef37ebaf378671135e712c2256b13c on sampling-logging
Hostname:warfa
Points:256
Fuel:4
Seed:#(1070833653 108281690 3330367898 3632331308 3494323072 43156186)
Flags:
rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexsetup:simplifyfn:cbrtgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)39.40.07.3s»
sintan (problem 3.4.5)31.10.01.9m»
quad2p (problem 3.2.1, positive)33.46.71.4m»
quad2m (problem 3.2.1, negative)32.98.31.4m»
cos2 (problem 3.4.1)30.90.22.9m»
3.9.2 real part (p56)61.961.927.6s»
3.9.2 imaginary part (p56)0029.6s»
3.9.1 real part (p56)0027.6s»
3.9.1 imaginary part (p56)0027.9s»
2nthrt (problem 3.4.6)32.82.32.5m»
2log (problem 3.3.6)29.60.630.9s»
2frac (problem 3.3.1)14.60.441.8s»
2cos (problem 3.3.5)40.00.840.0s»
2cbrt (problem 3.3.4)30.00.525.1s»
tanhf (example 3.4)30.10.00.013.0s»
quadp (p42, positive)33.413.520.02.4m»
quadm (p42, negative)32.910.020.42.3m»
qlog (example 3.10)61.00.00.316.2s»
logs (example 3.8)63.00.0023.3s»
logq (problem 3.4.3)58.60.20.253.5s»
invcot (example 3.9)59.90.40.159.8s»
expq3 (problem 3.4.2)58.80.414.11.1m»
expq2 (section 3.11)39.90.439.554.5s»
expm1 (example 3.7)58.60.00.44.2s»
expax (section 3.5)29.40.00.28.8s»
exp2 (problem 3.3.7)29.20.60.047.4s»
3frac (problem 3.3.3)9.60.10.21.7m»
2tan (problem 3.3.2)37.113.715.61.5m»
2sqrt (example 3.1)30.00.20.226.1s»
2sin (example 3.3)37.10.515.631.9s»
2isqrt (example 3.6)19.90.40.742.3s»
2atan (example 3.5)15.10.40.412.5s»