Time: 35.9m
Passed: 29/29
Tests: 32
Bits: 1016/1079

Date:Wednesday, May 16th, 2018
Commit:90511174da3309e5a8c2187b4a4490864cdfe1dc on develop
Hostname:warfa
Points:256
Fuel:4
Seed:#(1071373924 2949776965 1885069702 3247780810 90874544 2263903749)
Flags:
rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialsetup:simplifyfn:cbrtgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)39.40.023.9s»
sintan (problem 3.4.5)31.20.04.5m»
quad2p (problem 3.2.1, positive)33.69.91.3m»
quad2m (problem 3.2.1, negative)33.59.21.3m»
cos2 (problem 3.4.1)31.00.445.4s»
3.9.2 real part (p56)61.9055.7s»
3.9.2 imaginary part (p56)0025.2s»
3.9.1 real part (p56)0023.6s»
3.9.1 imaginary part (p56)0025.1s»
2nthrt (problem 3.4.6)32.816.91.5m»
2log (problem 3.3.6)29.00.242.0s»
2frac (problem 3.3.1)14.40.129.3s»
2cos (problem 3.3.5)39.70.735.0s»
2cbrt (problem 3.3.4)30.00.627.0s»
tanhf (example 3.4)30.10.00.012.2s»
quadp (p42, positive)33.610.020.52.1m»
quadm (p42, negative)33.56.620.52.2m»
qlog (example 3.10)60.80.50.33.0m»
logs (example 3.8)63.00028.9s»
logq (problem 3.4.3)58.70.20.23.7m»
invcot (example 3.9)59.80.30.144.4s»
expq3 (problem 3.4.2)58.62.814.256.4s»
expq2 (section 3.11)39.80.539.41.1m»
expm1 (example 3.7)58.70.40.450.2s»
expax (section 3.5)29.20.70.236.6s»
exp2 (problem 3.3.7)29.50.50.028.9s»
3frac (problem 3.3.3)9.70.30.31.7m»
2tan (problem 3.3.2)37.10.415.11.2m»
2sqrt (example 3.1)29.40.20.219.2s»
2sin (example 3.3)37.20.415.037.2s»
2isqrt (example 3.6)19.10.50.61.1m»
2atan (example 3.5)14.90.40.415.0s»