Time: 25.4m
Passed: 28/29
Tests: 32
Bits: 948/1081

Date:Thursday, May 3rd, 2018
Commit:886a8e8d734b6e0fd36001a8f50409bf7b61d3f7 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:#(1070578969 3140398606 632207097 462683394 1189254563 964980650)
Flags:
rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexsetup:simplifygenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:double
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)39.80.021.2s»
sintan (problem 3.4.5)31.20.01.3m»
quad2p (problem 3.2.1, positive)33.49.11.5m»
quad2m (problem 3.2.1, negative)34.29.71.4m»
cos2 (problem 3.4.1)31.00.142.7s»
3.9.2 real part (p56)61.961.926.7s»
3.9.2 imaginary part (p56)0029.3s»
3.9.1 real part (p56)0026.6s»
3.9.1 imaginary part (p56)0027.0s»
2nthrt (problem 3.4.6)32.33.62.3m»
2log (problem 3.3.6)29.40.043.2s»
2frac (problem 3.3.1)14.80.540.4s»
2cos (problem 3.3.5)39.30.837.7s»
2cbrt (problem 3.3.4)29.70.623.9s»
tanhf (example 3.4)30.10013.0s»
quadp (p42, positive)33.416.821.02.4m»
quadm (p42, negative)34.29.620.92.4m»
qlog (example 3.10)61.00.00.420.7s»
logs (example 3.8)63.00.0014.6s»
logq (problem 3.4.3)58.40.00.230.7s»
invcot (example 3.9)59.80.30.156.0s»
expq3 (problem 3.4.2)58.52.714.737.8s»
expq2 (section 3.11)40.20.439.819.2s»
expm1 (example 3.7)58.60.00.53.7s»
expax (section 3.5)29.00.00.210.3s»
exp2 (problem 3.3.7)29.10.70.148.0s»
3frac (problem 3.3.3)9.90.20.351.9s»
2tan (problem 3.3.2)36.813.815.21.7m»
2sqrt (example 3.1)29.80.20.238.3s»
2sin (example 3.3)36.80.515.034.7s»
2isqrt (example 3.6)19.80.30.635.6s»
2atan (example 3.5)15.40.50.510.7s»