Time: 11.4m
Passed: 29/31
Tests: 36
Bits: 1009/1138

Date:Saturday, July 27th, 2019
Commit:fba8a0c2 on infinite-loop-bug
Hostname:warfa with Racket 7.2
Seed:2019208
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)4.50.118.4s»
sintan (problem 3.4.5)31.90.027.0s»
quad2p (problem 3.2.1, positive)33.810.414.6s»
quad2m (problem 3.2.1, negative)34.39.821.3s»
exp with complex power real part (p55)0.00.015.6s»
exp with complex power imaginary part (p55)44.244.225.5s»
cos2 (problem 3.4.1)32.00.217.6s»
Euler formula real part (p55)0.00.021.1s»
Euler formula imaginary part (p55)44.20.831.0s»
3.9.2 real part (p56)61.9016.2s»
3.9.2 imaginary part (p56)0020.2s»
3.9.1 real part (p56)0020.5s»
3.9.1 imaginary part (p56)0019.8s»
2nthrt (problem 3.4.6)28.722.332.5s»
2log (problem 3.3.6)29.30.111.2s»
2frac (problem 3.3.1)14.30.113.4s»
2cos (problem 3.3.5)39.50.416.0s»
2cbrt (problem 3.3.4)29.58.915.4s»
tanhf (example 3.4)30.70.50.022.6s»
quadp (p42, positive)33.810.420.416.8s»
quadm (p42, negative)34.39.820.915.7s»
qlog (example 3.10)61.50.40.318.2s»
logs (example 3.8)63.00015.7s»
logq (problem 3.4.3)58.70.20.221.7s»
invcot (example 3.9)59.90.30.134.6s»
expq3 (problem 3.4.2)60.43.314.629.7s»
expq2 (section 3.11)41.50.741.211.2s»
expm1 (example 3.7)58.70.50.55.6s»
expax (section 3.5)30.43.20.220.0s»
exp2 (problem 3.3.7)29.20.60.019.9s»
3frac (problem 3.3.3)9.80.50.316.2s»
2tan (problem 3.3.2)36.90.514.526.4s»
2sqrt (example 3.1)29.80.20.210.9s»
2sin (example 3.3)37.00.414.514.8s»
2isqrt (example 3.6)19.90.40.715.0s»
2atan (example 3.5)14.70.40.414.5s»