Time: 29.0m
Passed: 29/29
Tests: 32
Bits: 1012/1082

Date:Thursday, August 2nd, 2018
Commit:b447b2feed2d8595dad9ca5dda47851ab791a899 on alt-testing
Hostname:warfa
Points:256
Fuel:4
Seed:2018214
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.30.010.9s»
sintan (problem 3.4.5)30.90.034.6s»
quad2p (problem 3.2.1, positive)33.710.21.3m»
quad2m (problem 3.2.1, negative)33.610.21.5m»
cos2 (problem 3.4.1)30.70.144.6s»
3.9.2 real part (p56)61.9027.7s»
3.9.2 imaginary part (p56)0028.3s»
3.9.1 real part (p56)0025.6s»
3.9.1 imaginary part (p56)0025.1s»
2nthrt (problem 3.4.6)32.42.51.2m»
2log (problem 3.3.6)29.60.027.4s»
2frac (problem 3.3.1)14.50.337.9s»
2cos (problem 3.3.5)39.71.839.2s»
2cbrt (problem 3.3.4)30.00.626.1s»
tanhf (example 3.4)29.90.00.017.8s»
quadp (p42, positive)33.716.421.02.5m»
quadm (p42, negative)33.710.221.13.1m»
qlog (example 3.10)60.90.00.326.9s»
logs (example 3.8)63.00.0011.5s»
logq (problem 3.4.3)58.70.20.23.5m»
invcot (example 3.9)59.90.30.154.6s»
expq3 (problem 3.4.2)58.20.514.239.6s»
expq2 (section 3.11)39.70.439.321.0s»
expm1 (example 3.7)58.90.00.43.2s»
expax (section 3.5)28.90.00.28.8s»
exp2 (problem 3.3.7)30.20.70.134.9s»
3frac (problem 3.3.3)10.10.30.31.9m»
2tan (problem 3.3.2)37.312.915.32.2m»
2sqrt (example 3.1)30.00.20.237.4s»
2sin (example 3.3)37.31.415.256.4s»
2isqrt (example 3.6)20.00.30.749.6s»
2atan (example 3.5)14.90.30.312.1s»