Time: 10.5m
Passed: 30/31
Tests: 36
Bits: 1025/1136

Date:Wednesday, July 31st, 2019
Commit:ac3682e5 on interface2
Hostname:warfa with Racket 7.2
Seed:2019212
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.50.718.8s»
sintan (problem 3.4.5)31.30.018.8s»
quad2p (problem 3.2.1, positive)33.79.019.0s»
quad2m (problem 3.2.1, negative)34.16.218.6s»
exp with complex power real part (p55)0.00.012.4s»
exp with complex power imaginary part (p55)43.743.726.0s»
cos2 (problem 3.4.1)31.30.312.4s»
Euler formula real part (p55)0.00.013.9s»
Euler formula imaginary part (p55)43.70.729.5s»
3.9.2 real part (p56)61.9015.5s»
3.9.2 imaginary part (p56)0019.4s»
3.9.1 real part (p56)0020.5s»
3.9.1 imaginary part (p56)0020.4s»
2nthrt (problem 3.4.6)29.222.227.4s»
2log (problem 3.3.6)29.30.015.0s»
2frac (problem 3.3.1)14.10.111.3s»
2cos (problem 3.3.5)39.80.815.5s»
2cbrt (problem 3.3.4)29.90.414.2s»
tanhf (example 3.4)30.10.6021.8s»
quadp (p42, positive)33.810.020.612.9s»
quadm (p42, negative)34.16.420.717.2s»
qlog (example 3.10)61.50.40.319.7s»
logs (example 3.8)63.00.0011.8s»
logq (problem 3.4.3)58.60.60.213.1s»
invcot (example 3.9)59.90.30.124.0s»
expq3 (problem 3.4.2)60.43.315.029.5s»
expq2 (section 3.11)41.40.940.910.6s»
expm1 (example 3.7)58.80.50.510.9s»
expax (section 3.5)29.60.80.216.9s»
exp2 (problem 3.3.7)29.90.60.019.1s»
3frac (problem 3.3.3)9.60.20.214.9s»
2tan (problem 3.3.2)37.30.415.123.6s»
2sqrt (example 3.1)29.70.20.214.7s»
2sin (example 3.3)37.30.415.016.7s»
2isqrt (example 3.6)19.40.30.813.6s»
2atan (example 3.5)14.60.30.39.4s»