Time: 28.4m
Passed: 29/29
Tests: 32
Bits: 1028/1083

Date:Wednesday, May 30th, 2018
Commit:541bb67a39bffd55b462a60726a62e8e31eca8e4 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:#(1072330854 3074818769 591214268 3603999196 3863745332 3332387116)
Flags:
rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchessetup: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.80.06.0s»
sintan (problem 3.4.5)31.20.01.3m»
quad2p (problem 3.2.1, positive)33.56.91.5m»
quad2m (problem 3.2.1, negative)33.99.71.3m»
cos2 (problem 3.4.1)30.90.556.4s»
3.9.2 real part (p56)61.9026.7s»
3.9.2 imaginary part (p56)0027.2s»
3.9.1 real part (p56)0025.9s»
3.9.1 imaginary part (p56)0024.0s»
2nthrt (problem 3.4.6)32.42.22.6m»
2log (problem 3.3.6)29.80.023.2s»
2frac (problem 3.3.1)15.00.326.2s»
2cos (problem 3.3.5)39.30.743.7s»
2cbrt (problem 3.3.4)30.00.527.8s»
tanhf (example 3.4)30.10.00.012.9s»
quadp (p42, positive)33.57.321.42.4m»
quadm (p42, negative)33.910.420.82.5m»
qlog (example 3.10)61.00.00.315.1s»
logs (example 3.8)63.00.0030.4s»
logq (problem 3.4.3)58.60.20.23.0m»
invcot (example 3.9)59.90.30.144.2s»
expq3 (problem 3.4.2)58.40.114.31.1m»
expq2 (section 3.11)40.20.339.922.0s»
expm1 (example 3.7)58.70.00.42.8s»
expax (section 3.5)29.40.00.23.1s»
exp2 (problem 3.3.7)28.60.70.01.3m»
3frac (problem 3.3.3)10.10.40.340.4s»
2tan (problem 3.3.2)36.712.715.21.9m»
2sqrt (example 3.1)30.20.20.220.2s»
2sin (example 3.3)36.70.615.236.1s»
2isqrt (example 3.6)20.50.30.640.9s»
2atan (example 3.5)15.50.30.315.5s»