Time: 30.3m
Passed: 29/29
Tests: 32
Bits: 1011/1080

Date:Saturday, June 16th, 2018
Commit:bea2125dfa80496b9f098741d625b2ce406b8dd1 on master
Hostname:warfa
Points:256
Fuel:4
Seed:2018167
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)39.70.17.4s»
sintan (problem 3.4.5)31.00.01.5m»
quad2p (problem 3.2.1, positive)33.48.71.7m»
quad2m (problem 3.2.1, negative)33.18.51.6m»
cos2 (problem 3.4.1)30.70.357.2s»
3.9.2 real part (p56)61.9026.6s»
3.9.2 imaginary part (p56)0028.0s»
3.9.1 real part (p56)0024.7s»
3.9.1 imaginary part (p56)0024.0s»
2nthrt (problem 3.4.6)32.623.32.1m»
2log (problem 3.3.6)29.40.024.7s»
2frac (problem 3.3.1)14.80.449.0s»
2cos (problem 3.3.5)39.30.737.6s»
2cbrt (problem 3.3.4)30.10.527.0s»
tanhf (example 3.4)30.00.00.013.0s»
quadp (p42, positive)33.513.120.22.2m»
quadm (p42, negative)33.19.820.12.4m»
qlog (example 3.10)61.20.00.320.9s»
logs (example 3.8)63.00.0032.2s»
logq (problem 3.4.3)58.70.20.23.3m»
invcot (example 3.9)60.00.30.152.0s»
expq3 (problem 3.4.2)58.40.114.11.4m»
expq2 (section 3.11)40.20.439.810.0s»
expm1 (example 3.7)58.80.00.42.7s»
expax (section 3.5)29.80.00.22.9s»
exp2 (problem 3.3.7)29.60.60.040.7s»
3frac (problem 3.3.3)10.00.10.31.8m»
2tan (problem 3.3.2)36.60.614.81.5m»
2sqrt (example 3.1)29.80.30.220.7s»
2sin (example 3.3)36.70.514.839.0s»
2isqrt (example 3.6)19.70.60.61.5m»
2atan (example 3.5)15.30.40.413.3s»