Time: 40.0m
Passed: 29/29
Tests: 32
Bits: 1007/1082

Date:Wednesday, July 25th, 2018
Commit:68fcdc8abb3f200ff1db5d941ade68910e178db5 on alt-testing
Hostname:warfa
Points:256
Fuel:4
Seed:2018206
Flags:
rules: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
default
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)39.90.030.6s»
sintan (problem 3.4.5)31.50.11.4m»
quad2p (problem 3.2.1, positive)33.99.41.6m»
quad2m (problem 3.2.1, negative)33.910.61.3m»
cos2 (problem 3.4.1)31.30.248.2s»
3.9.2 real part (p56)61.901.1m»
3.9.2 imaginary part (p56)0031.1s»
3.9.1 real part (p56)0028.2s»
3.9.1 imaginary part (p56)0029.5s»
2nthrt (problem 3.4.6)32.716.42.5m»
2log (problem 3.3.6)29.30.534.6s»
2frac (problem 3.3.1)14.30.123.2s»
2cos (problem 3.3.5)39.40.745.4s»
2cbrt (problem 3.3.4)29.40.527.7s»
tanhf (example 3.4)30.50.00.020.1s»
quadp (p42, positive)33.96.921.22.3m»
quadm (p42, negative)33.910.521.02.2m»
qlog (example 3.10)60.80.50.343.6s»
logs (example 3.8)63.00023.5s»
logq (problem 3.4.3)58.50.20.28.3m»
invcot (example 3.9)59.90.40.145.5s»
expq3 (problem 3.4.2)58.50.214.12.2m»
expq2 (section 3.11)40.30.839.918.0s»
expm1 (example 3.7)58.60.50.58.2s»
expax (section 3.5)29.70.50.243.5s»
exp2 (problem 3.3.7)30.00.50.01.5m»
3frac (problem 3.3.3)9.80.10.32.2m»
2tan (problem 3.3.2)36.613.814.91.8m»
2sqrt (example 3.1)29.70.20.222.5s»
2sin (example 3.3)36.70.514.949.0s»
2isqrt (example 3.6)19.50.70.71.7m»
2atan (example 3.5)14.80.40.421.4s»