Time: 26.3m
Passed: 28/29
Tests: 32
Bits: 942/1084

Date:Friday, May 4th, 2018
Commit:f8da7700c8430855abdd3aa4f504bc65692e498b on develop
Hostname:warfa
Points:256
Fuel:4
Seed:#(1070609872 3456127585 2380521889 2328837196 1765472538 734540918)
Flags:
rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexsetup:simplifygenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:double
default
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)39.20.06.0s»
sintan (problem 3.4.5)30.60.050.2s»
quad2p (problem 3.2.1, positive)33.28.91.2m»
quad2m (problem 3.2.1, negative)33.69.51.3m»
cos2 (problem 3.4.1)30.40.250.7s»
3.9.2 real part (p56)61.961.927.0s»
3.9.2 imaginary part (p56)0027.6s»
3.9.1 real part (p56)0027.4s»
3.9.1 imaginary part (p56)0027.1s»
2nthrt (problem 3.4.6)32.518.31.7m»
2log (problem 3.3.6)29.80.135.1s»
2frac (problem 3.3.1)15.20.123.5s»
2cos (problem 3.3.5)39.90.938.4s»
2cbrt (problem 3.3.4)30.40.624.7s»
tanhf (example 3.4)29.60.00.013.5s»
quadp (p42, positive)33.28.720.62.4m»
quadm (p42, negative)33.610.120.92.3m»
qlog (example 3.10)61.40.30.21.1m»
logs (example 3.8)63.00031.4s»
logq (problem 3.4.3)58.70.20.237.1s»
invcot (example 3.9)60.00.30.143.1s»
expq3 (problem 3.4.2)58.32.814.42.5m»
expq2 (section 3.11)39.70.839.327.0s»
expm1 (example 3.7)58.80.50.515.6s»
expax (section 3.5)29.00.40.250.9s»
exp2 (problem 3.3.7)29.90.60.040.9s»
3frac (problem 3.3.3)10.60.30.336.8s»
2tan (problem 3.3.2)37.514.415.41.3m»
2sqrt (example 3.1)30.20.10.219.7s»
2sin (example 3.3)37.50.615.233.5s»
2isqrt (example 3.6)20.31.00.847.4s»
2atan (example 3.5)15.80.40.417.1s»