Time: 16.2m
Passed: 28/28
Tests: 28
Bits: 945/1019

Date:Monday, April 30th, 2018
Commit:d38628b0da49ecaddd08e1f123010639514381ee on develop
Hostname:warfa
Points:256
Fuel:4
Seed:#(1070355188 2193211668 3977393919 3454156579 3755371326 1656365382)
Flags:
rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicsetup:simplifygenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:double
default
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)39.70.09.1s»
sintan (problem 3.4.5)32.00.045.7s»
quad2p (problem 3.2.1, positive)33.06.143.1s»
quad2m (problem 3.2.1, negative)33.36.638.3s»
cos2 (problem 3.4.1)31.70.117.2s»
2nthrt (problem 3.4.6)32.623.21.4m»
2log (problem 3.3.6)29.30.340.0s»
2frac (problem 3.3.1)14.10.11.5m»
2cos (problem 3.3.5)39.90.928.9s»
2cbrt (problem 3.3.4)29.10.616.9s»
tanhf (example 3.4)30.90013.0s»
quadp (p42, positive)33.09.419.81.6m»
quadm (p42, negative)33.36.620.31.7m»
qlog (example 3.10)61.10.40.319.8s»
logs (example 3.8)63.0008.4s»
logq (problem 3.4.3)58.60.20.218.0s»
invcot (example 3.9)60.00.30.134.5s»
expq3 (problem 3.4.2)58.60.513.851.9s»
expq2 (section 3.11)40.10.639.818.7s»
expm1 (example 3.7)58.70.50.59.3s»
expax (section 3.5)29.00.30.122.7s»
exp2 (problem 3.3.7)29.70.80.030.4s»
3frac (problem 3.3.3)9.60.10.219.3s»
2tan (problem 3.3.2)37.214.115.547.5s»
2sqrt (example 3.1)29.70.20.29.9s»
2sin (example 3.3)37.20.515.524.1s»
2isqrt (example 3.6)19.80.40.717.2s»
2atan (example 3.5)14.50.40.49.3s»