Time: 32.2m
Passed: 29/29
Tests: 32
Bits: 1036/1082

Date:Wednesday, May 9th, 2018
Commit:4ceea3ef37af91c2706e4dbfde7e7a53143c51d0 on develop
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.013.6s»
sintan (problem 3.4.5)30.90.02.0m»
quad2p (problem 3.2.1, positive)33.29.11.4m»
quad2m (problem 3.2.1, negative)33.38.91.3m»
cos2 (problem 3.4.1)30.60.41.6m»
3.9.2 real part (p56)61.9027.2s»
3.9.2 imaginary part (p56)0030.6s»
3.9.1 real part (p56)0026.6s»
3.9.1 imaginary part (p56)0028.6s»
2nthrt (problem 3.4.6)32.32.11.1m»
2log (problem 3.3.6)30.50.035.7s»
2frac (problem 3.3.1)14.50.445.8s»
2cos (problem 3.3.5)39.31.243.9s»
2cbrt (problem 3.3.4)30.10.535.1s»
tanhf (example 3.4)29.90.00.012.8s»
quadp (p42, positive)33.29.120.21.4m»
quadm (p42, negative)33.49.820.22.8m»
qlog (example 3.10)61.00.00.342.5s»
logs (example 3.8)63.00.0022.5s»
logq (problem 3.4.3)58.50.20.23.6m»
invcot (example 3.9)60.00.30.158.3s»
expq3 (problem 3.4.2)58.40.513.91.3m»
expq2 (section 3.11)40.20.639.81.1m»
expm1 (example 3.7)58.60.00.53.8s»
expax (section 3.5)29.50.00.210.7s»
exp2 (problem 3.3.7)29.40.60.050.4s»
3frac (problem 3.3.3)10.00.10.31.7m»
2tan (problem 3.3.2)37.10.615.42.7m»
2sqrt (example 3.1)30.90.20.220.2s»
2sin (example 3.3)37.10.515.337.7s»
2isqrt (example 3.6)20.60.30.848.6s»
2atan (example 3.5)15.00.30.412.2s»