Time: 30.0m
Passed: 28/29
Tests: 32
Bits: 974/1082

Date:Wednesday, May 9th, 2018
Commit:5cc33c8ec569713b1cff135c9bb2c0c802d2f300 on sampling-logging
Hostname:warfa
Points:256
Fuel:4
Seed:#(1070960995 739739648 2531964651 3069671617 351857262 3877178482)
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.60.012.1s»
sintan (problem 3.4.5)30.90.02.1m»
quad2p (problem 3.2.1, positive)33.29.11.4m»
quad2m (problem 3.2.1, negative)33.48.91.3m»
cos2 (problem 3.4.1)30.60.41.9m»
3.9.2 real part (p56)61.961.927.7s»
3.9.2 imaginary part (p56)0030.2s»
3.9.1 real part (p56)0028.2s»
3.9.1 imaginary part (p56)0029.2s»
2nthrt (problem 3.4.6)32.32.11.1m»
2log (problem 3.3.6)30.50.038.3s»
2frac (problem 3.3.1)14.50.446.5s»
2cos (problem 3.3.5)39.31.252.6s»
2cbrt (problem 3.3.4)30.10.527.0s»
tanhf (example 3.4)29.90.00.013.1s»
quadp (p42, positive)33.29.120.21.2m»
quadm (p42, negative)33.49.820.22.6m»
qlog (example 3.10)61.00.00.352.9s»
logs (example 3.8)63.00.0023.9s»
logq (problem 3.4.3)58.50.20.21.0m»
invcot (example 3.9)60.00.30.157.7s»
expq3 (problem 3.4.2)58.40.514.01.4m»
expq2 (section 3.11)40.20.639.81.1m»
expm1 (example 3.7)58.60.00.54.0s»
expax (section 3.5)29.50.00.211.2s»
exp2 (problem 3.3.7)29.40.60.01.0m»
3frac (problem 3.3.3)10.00.10.31.6m»
2tan (problem 3.3.2)37.10.615.42.8m»
2sqrt (example 3.1)30.90.20.220.6s»
2sin (example 3.3)37.10.515.339.6s»
2isqrt (example 3.6)20.60.30.841.1s»
2atan (example 3.5)15.00.30.412.2s»