Time: 28.1m
Passed: 27/29
Tests: 32
Bits: 986/1077

Date:Monday, May 14th, 2018
Commit:bfa6d78fc3373166509799fe5bc265db7cbed794 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:#(1071246582 2318319007 2683472949 3810440501 3233274817 2724848749)
Flags:
rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexsetup:simplifyfn:cbrtgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)39.70.112.5s»
sintan (problem 3.4.5)31.40.01.1m»
quad2p (problem 3.2.1, positive)32.89.11.1m»
quad2m (problem 3.2.1, negative)33.510.01.6m»
cos2 (problem 3.4.1)31.10.91.2m»
3.9.2 real part (p56)61.9027.2s»
3.9.2 imaginary part (p56)0027.1s»
3.9.1 real part (p56)0024.6s»
3.9.1 imaginary part (p56)0024.7s»
2nthrt (problem 3.4.6)32.72.42.4m»
2log (problem 3.3.6)28.90.024.2s»
2frac (problem 3.3.1)14.30.336.6s»
2cos (problem 3.3.5)39.50.837.7s»
2cbrt (problem 3.3.4)29.60.529.9s»
tanhf (example 3.4)30.30.00.011.9s»
quadp (p42, positive)32.921.019.71.1m»
quadm (p42, negative)33.510.120.22.4m»
qlog (example 3.10)60.70.00.414.0s»
logs (example 3.8)63.00.0030.2s»
logq (problem 3.4.3)58.50.20.23.4m»
invcot (example 3.9)59.80.30.148.0s»
expq3 (problem 3.4.2)58.60.814.42.1m»
expq2 (section 3.11)40.10.439.721.7s»
expm1 (example 3.7)58.60.00.52.8s»
expax (section 3.5)29.30.00.28.5s»
exp2 (problem 3.3.7)29.90.60.019.4s»
3frac (problem 3.3.3)9.60.20.256.5s»
2tan (problem 3.3.2)36.712.914.72.0m»
2sqrt (example 3.1)29.30.20.248.0s»
2sin (example 3.3)36.70.414.733.9s»
2isqrt (example 3.6)19.219.00.641.8s»
2atan (example 3.5)14.80.30.312.7s»