Time: 4.2m
Passed: 28/31
Tests: 36
Bits: 895/1136

Date:Monday, March 23rd, 2020
Commit:7881a5d3 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020083
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.30.84.9s»
sintan (problem 3.4.5)31.70.011.0s»
quad2p (problem 3.2.1, positive)34.76.97.1s»
quad2m (problem 3.2.1, negative)34.110.35.5s»
exp with complex power real part (p55)0.00.03.8s»
exp with complex power imaginary part (p55)43.443.410.9s»
cos2 (problem 3.4.1)31.80.24.9s»
Euler formula real part (p55)0.00.06.3s»
Euler formula imaginary part (p55)43.40.811.6s»
3.9.2 real part (p56)61.961.94.2s»
3.9.2 imaginary part (p56)003.9s»
3.9.1 real part (p56)004.7s»
3.9.1 imaginary part (p56)005.1s»
2nthrt (problem 3.4.6)29.022.313.2s»
2log (problem 3.3.6)29.80.16.4s»
2frac (problem 3.3.1)14.00.13.5s»
2cos (problem 3.3.5)39.515.76.7s»
2cbrt (problem 3.3.4)29.60.57.1s»
tanhf (example 3.4)30.40.40.08.0s»
quadp (p42, positive)34.76.920.96.3s»
quadm (p42, negative)34.110.321.25.3s»
qlog (example 3.10)61.30.50.37.9s»
logs (example 3.8)63.0003.8s»
logq (problem 3.4.3)58.70.60.27.3s»
invcot (example 3.9)59.80.30.118.0s»
expq3 (problem 3.4.2)60.555.214.913.5s»
expq2 (section 3.11)41.80.641.42.9s»
expm1 (example 3.7)58.50.50.53.0s»
expax (section 3.5)29.20.40.24.1s»
exp2 (problem 3.3.7)29.10.60.05.1s»
3frac (problem 3.3.3)9.50.10.35.7s»
2tan (problem 3.3.2)36.90.415.215.8s»
2sqrt (example 3.1)30.20.20.25.1s»
2sin (example 3.3)36.90.515.26.3s»
2isqrt (example 3.6)19.60.30.67.4s»
2atan (example 3.5)14.50.40.42.5s»