Time: 12.2m
Passed: 29/31
Tests: 36
Bits: 992/1138

Date:Thursday, June 20th, 2019
Commit:e9396375 on no-dirty-bits
Hostname:warfa with Racket 7.0
Seed:2019171
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.40.723.6s»
sintan (problem 3.4.5)31.40.023.0s»
quad2p (problem 3.2.1, positive)34.410.516.1s»
quad2m (problem 3.2.1, negative)34.07.016.8s»
exp with complex power real part (p55)0.00.012.9s»
exp with complex power imaginary part (p55)43.543.526.9s»
cos2 (problem 3.4.1)31.50.313.1s»
Euler formula real part (p55)0.00.09.9s»
Euler formula imaginary part (p55)43.50.831.5s»
3.9.2 real part (p56)61.9023.3s»
3.9.2 imaginary part (p56)0021.9s»
3.9.1 real part (p56)0024.6s»
3.9.1 imaginary part (p56)0024.5s»
2nthrt (problem 3.4.6)29.522.028.9s»
2log (problem 3.3.6)29.90.015.3s»
2frac (problem 3.3.1)14.40.111.1s»
2cos (problem 3.3.5)39.71.216.9s»
2cbrt (problem 3.3.4)29.90.518.8s»
tanhf (example 3.4)30.20.50.019.7s»
quadp (p42, positive)34.410.821.519.9s»
quadm (p42, negative)34.110.521.420.2s»
qlog (example 3.10)61.40.40.320.1s»
logs (example 3.8)63.00.0012.8s»
logq (problem 3.4.3)58.80.60.213.7s»
invcot (example 3.9)59.90.00.124.7s»
expq3 (problem 3.4.2)60.13.615.231.2s»
expq2 (section 3.11)41.50.941.214.6s»
expm1 (example 3.7)58.50.50.513.3s»
expax (section 3.5)29.713.80.221.0s»
exp2 (problem 3.3.7)29.40.50.013.9s»
3frac (problem 3.3.3)9.70.10.218.6s»
2tan (problem 3.3.2)37.115.515.11.2m»
2sqrt (example 3.1)30.30.20.217.7s»
2sin (example 3.3)37.10.715.017.4s»
2isqrt (example 3.6)20.00.40.715.1s»
2atan (example 3.5)14.90.40.410.6s»