Time: 23.2m
Passed: 26/29
Tests: 32
Bits: 932/1081

Date:Tuesday, May 1st, 2018
Commit:3ad3048cbfef323f610527e4f2803001ea90654b on develop
Hostname:warfa
Points:256
Fuel:4
Seed:#(1070386091 2509006183 1430610344 1025408621 36622005 1425925650)
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.30.014.3s»
sintan (problem 3.4.5)30.90.01.1m»
quad2p (problem 3.2.1, positive)32.89.21.5m»
quad2m (problem 3.2.1, negative)33.58.71.2m»
cos2 (problem 3.4.1)30.70.32.0m»
3.9.2 real part (p56)61.961.927.5s»
3.9.2 imaginary part (p56)0028.2s»
3.9.1 real part (p56)0027.7s»
3.9.1 imaginary part (p56)0026.4s»
2nthrt (problem 3.4.6)33.22.42.7m»
2log (problem 3.3.6)29.50.021.0s»
2frac (problem 3.3.1)14.20.423.0s»
2cos (problem 3.3.5)40.21.238.9s»
2cbrt (problem 3.3.4)30.00.620.8s»
tanhf (example 3.4)29.90.00.012.8s»
quadp (p42, positive)32.828.720.535.9s»
quadm (p42, negative)33.58.620.52.2m»
qlog (example 3.10)61.10.00.323.5s»
logs (example 3.8)63.00.0010.9s»
logq (problem 3.4.3)58.70.20.223.3s»
invcot (example 3.9)60.00.30.144.9s»
expq3 (problem 3.4.2)58.82.613.944.3s»
expq2 (section 3.11)39.81.439.415.7s»
expm1 (example 3.7)58.70.00.43.6s»
expax (section 3.5)29.60.00.217.4s»
exp2 (problem 3.3.7)30.30.70.039.0s»
3frac (problem 3.3.3)9.70.30.31.0m»
2tan (problem 3.3.2)37.314.415.11.2m»
2sqrt (example 3.1)30.00.30.218.5s»
2sin (example 3.3)37.30.615.134.0s»
2isqrt (example 3.6)19.45.60.753.1s»
2atan (example 3.5)14.80.40.49.4s»