Time: 3.7m
Passed: 28/31
Tests: 36
Bits: 931/1137

Date:Saturday, February 29th, 2020
Commit:0c2e8f5a on extract-exprs
Hostname:warfa with Racket 7.5
Seed:2020060
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.61.17.2s»
sintan (problem 3.4.5)30.80.09.8s»
quad2p (problem 3.2.1, positive)34.19.24.5s»
quad2m (problem 3.2.1, negative)34.26.84.8s»
exp with complex power real part (p55)0.00.05.0s»
exp with complex power imaginary part (p55)43.443.410.7s»
cos2 (problem 3.4.1)30.90.53.8s»
Euler formula real part (p55)0.00.74.4s»
Euler formula imaginary part (p55)43.40.812.0s»
3.9.2 real part (p56)61.961.94.1s»
3.9.2 imaginary part (p56)003.8s»
3.9.1 real part (p56)004.7s»
3.9.1 imaginary part (p56)004.6s»
2nthrt (problem 3.4.6)29.422.49.4s»
2log (problem 3.3.6)30.10.13.8s»
2frac (problem 3.3.1)15.00.12.7s»
2cos (problem 3.3.5)39.515.98.0s»
2cbrt (problem 3.3.4)30.411.66.2s»
tanhf (example 3.4)29.60.50.07.1s»
quadp (p42, positive)34.16.520.64.7s»
quadm (p42, negative)34.26.621.55.1s»
qlog (example 3.10)61.50.40.39.5s»
logs (example 3.8)63.00.004.9s»
logq (problem 3.4.3)58.70.60.26.0s»
invcot (example 3.9)59.90.40.112.2s»
expq3 (problem 3.4.2)60.23.414.710.8s»
expq2 (section 3.11)41.20.940.82.1s»
expm1 (example 3.7)58.70.50.52.7s»
expax (section 3.5)29.29.20.23.7s»
exp2 (problem 3.3.7)29.00.70.04.5s»
3frac (problem 3.3.3)9.90.10.33.7s»
2tan (problem 3.3.2)36.90.415.515.2s»
2sqrt (example 3.1)30.50.20.25.7s»
2sin (example 3.3)37.00.415.55.7s»
2isqrt (example 3.6)20.20.60.75.4s»
2atan (example 3.5)15.50.40.43.7s»