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

Date:Wednesday, May 9th, 2018
Commit:ea80621ae005e0462740b0684f1473132a079e7b on exacts-precision-steps
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.017.1s»
sintan (problem 3.4.5)30.90.02.5m»
quad2p (problem 3.2.1, positive)33.29.11.6m»
quad2m (problem 3.2.1, negative)33.48.91.4m»
cos2 (problem 3.4.1)30.60.42.3m»
3.9.2 real part (p56)61.961.926.7s»
3.9.2 imaginary part (p56)0041.1s»
3.9.1 real part (p56)0028.9s»
3.9.1 imaginary part (p56)0028.2s»
2nthrt (problem 3.4.6)32.32.11.7m»
2log (problem 3.3.6)30.50.043.9s»
2frac (problem 3.3.1)14.50.448.4s»
2cos (problem 3.3.5)39.31.22.0m»
2cbrt (problem 3.3.4)30.10.535.5s»
tanhf (example 3.4)29.90.00.038.4s»
quadp (p42, positive)33.29.120.22.6m»
quadm (p42, negative)33.49.820.23.7m»
qlog (example 3.10)61.00.00.354.4s»
logs (example 3.8)63.00.0026.9s»
logq (problem 3.4.3)58.50.20.21.3m»
invcot (example 3.9)60.00.30.149.7s»
expq3 (problem 3.4.2)58.40.514.02.0m»
expq2 (section 3.11)40.20.639.83.4m»
expm1 (example 3.7)58.60.00.514.2s»
expax (section 3.5)29.50.00.220.3s»
exp2 (problem 3.3.7)29.40.60.01.2m»
3frac (problem 3.3.3)10.00.10.31.8m»
2tan (problem 3.3.2)37.10.615.43.2m»
2sqrt (example 3.1)30.90.20.223.9s»
2sin (example 3.3)37.10.515.31.3m»
2isqrt (example 3.6)20.60.30.853.5s»
2atan (example 3.5)15.00.30.430.0s»