Time: 29.3m
Passed: 29/31
Tests: 36
Bits: 967/1095

Date:Friday, June 7th, 2019
Commit:f4fc33bc on better-rr
Hostname:warfa with Racket 7.0
Seed:2019158
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:better-rrreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)4.40.126.6s»
sintan (problem 3.4.5)10.0m»
quad2p (problem 3.2.1, positive)33.010.822.7s»
quad2m (problem 3.2.1, negative)32.87.024.2s»
exp with complex power real part (p55)0.00.013.8s»
exp with complex power imaginary part (p55)43.543.526.6s»
cos2 (problem 3.4.1)31.70.121.1s»
Euler formula real part (p55)0.00.035.7s»
Euler formula imaginary part (p55)43.50.746.6s»
3.9.2 real part (p56)61.9022.6s»
3.9.2 imaginary part (p56)0023.6s»
3.9.1 real part (p56)0024.3s»
3.9.1 imaginary part (p56)0023.1s»
2nthrt (problem 3.4.6)29.422.031.6s»
2log (problem 3.3.6)28.90.014.3s»
2frac (problem 3.3.1)14.50.115.4s»
2cos (problem 3.3.5)39.40.724.3s»
2cbrt (problem 3.3.4)29.10.516.7s»
tanhf (example 3.4)30.80.00.011.2s»
quadp (p42, positive)33.010.920.128.3s»
quadm (p42, negative)32.88.920.133.6s»
qlog (example 3.10)60.90.50.322.1s»
logs (example 3.8)63.00.0016.9s»
logq (problem 3.4.3)58.50.20.213.2s»
invcot (example 3.9)59.80.30.130.8s»
expq3 (problem 3.4.2)58.83.213.94.4m»
expq2 (section 3.11)40.80.640.416.7s»
expm1 (example 3.7)58.70.50.514.2s»
expax (section 3.5)29.21.10.235.6s»
exp2 (problem 3.3.7)29.90.60.021.8s»
3frac (problem 3.3.3)10.10.10.31.2m»
2tan (problem 3.3.2)36.113.814.31.3m»
2sqrt (example 3.1)29.30.20.220.7s»
2sin (example 3.3)36.10.414.224.3s»
2isqrt (example 3.6)19.50.50.724.4s»
2atan (example 3.5)15.00.40.411.6s»