Time: 34.3m
Passed: 29/29
Tests: 32
Bits: 1022/1083

Date:Tuesday, June 19th, 2018
Commit:b6189b1c109d25b2ea9590699773c64ebfb8839e on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018170
Flags:
rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchessetup: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)40.10.09.7s»
sintan (problem 3.4.5)31.60.01.8m»
quad2p (problem 3.2.1, positive)33.59.71.6m»
quad2m (problem 3.2.1, negative)33.19.51.7m»
cos2 (problem 3.4.1)31.40.144.5s»
3.9.2 real part (p56)61.9026.9s»
3.9.2 imaginary part (p56)0026.5s»
3.9.1 real part (p56)0024.5s»
3.9.1 imaginary part (p56)0024.7s»
2nthrt (problem 3.4.6)33.01.91.7m»
2log (problem 3.3.6)29.60.259.6s»
2frac (problem 3.3.1)14.80.21.0m»
2cos (problem 3.3.5)39.10.939.9s»
2cbrt (problem 3.3.4)29.50.630.9s»
tanhf (example 3.4)30.60017.0s»
quadp (p42, positive)33.59.820.52.5m»
quadm (p42, negative)33.211.920.52.7m»
qlog (example 3.10)61.30.00.31.7m»
logs (example 3.8)63.00.0020.4s»
logq (problem 3.4.3)58.70.20.23.6m»
invcot (example 3.9)60.00.30.151.6s»
expq3 (problem 3.4.2)58.60.114.534.4s»
expq2 (section 3.11)40.50.440.136.3s»
expm1 (example 3.7)58.70.00.52.7s»
expax (section 3.5)29.70.00.223.5s»
exp2 (problem 3.3.7)29.30.60.02.2m»
3frac (problem 3.3.3)10.10.30.31.7m»
2tan (problem 3.3.2)36.613.114.72.3m»
2sqrt (example 3.1)30.00.20.219.1s»
2sin (example 3.3)36.70.514.639.8s»
2isqrt (example 3.6)19.80.30.740.4s»
2atan (example 3.5)15.30.30.315.5s»