Time: 11.5m
Passed: 30/31
Tests: 36
Bits: 1004/1130

Date:Friday, June 14th, 2019
Commit:457c1ed3 on no-dirty-bits
Hostname:warfa with Racket 7.0
Seed:2019165
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)4.20.120.9s»
sintan (problem 3.4.5)30.60.327.9s»
quad2p (problem 3.2.1, positive)33.89.519.1s»
quad2m (problem 3.2.1, negative)33.78.417.2s»
exp with complex power real part (p55)0.00.013.3s»
exp with complex power imaginary part (p55)44.244.227.2s»
cos2 (problem 3.4.1)30.40.115.6s»
Euler formula real part (p55)0.00.019.8s»
Euler formula imaginary part (p55)44.20.734.0s»
3.9.2 real part (p56)61.9020.9s»
3.9.2 imaginary part (p56)0022.9s»
3.9.1 real part (p56)0023.4s»
3.9.1 imaginary part (p56)0023.2s»
2nthrt (problem 3.4.6)29.423.428.1s»
2log (problem 3.3.6)29.80.111.0s»
2frac (problem 3.3.1)14.90.19.0s»
2cos (problem 3.3.5)39.00.417.5s»
2cbrt (problem 3.3.4)30.40.618.0s»
tanhf (example 3.4)29.60.00.010.9s»
quadp (p42, positive)33.89.520.516.1s»
quadm (p42, negative)33.78.320.917.6s»
qlog (example 3.10)60.90.50.419.8s»
logs (example 3.8)63.00013.1s»
logq (problem 3.4.3)58.50.20.216.2s»
invcot (example 3.9)59.90.30.130.7s»
expq3 (problem 3.4.2)58.63.413.934.2s»
expq2 (section 3.11)39.31.038.913.8s»
expm1 (example 3.7)58.70.40.415.5s»
expax (section 3.5)29.50.30.218.0s»
exp2 (problem 3.3.7)29.90.60.017.4s»
3frac (problem 3.3.3)9.90.10.316.4s»
2tan (problem 3.3.2)36.312.515.326.9s»
2sqrt (example 3.1)30.30.20.214.3s»
2sin (example 3.3)36.30.315.217.3s»
2isqrt (example 3.6)20.00.30.717.2s»
2atan (example 3.5)15.40.40.47.8s»