Time: 7.0m
Passed: 30/31
Tests: 36
Bits: 1003/1133

Date:Thursday, February 13th, 2020
Commit:b55bba1d on regraph-no-upwards
Hostname:warfa with Racket 7.5
Seed:2020044
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.70.813.0s»
sintan (problem 3.4.5)31.70.215.6s»
quad2p (problem 3.2.1, positive)33.76.315.7s»
quad2m (problem 3.2.1, negative)33.58.613.7s»
exp with complex power real part (p55)0.00.04.4s»
exp with complex power imaginary part (p55)43.543.510.6s»
cos2 (problem 3.4.1)31.70.311.9s»
Euler formula real part (p55)0.00.010.8s»
Euler formula imaginary part (p55)43.50.723.2s»
3.9.2 real part (p56)61.905.3s»
3.9.2 imaginary part (p56)005.5s»
3.9.1 real part (p56)005.4s»
3.9.1 imaginary part (p56)005.5s»
2nthrt (problem 3.4.6)29.221.716.6s»
2log (problem 3.3.6)29.20.011.7s»
2frac (problem 3.3.1)14.50.15.7s»
2cos (problem 3.3.5)39.50.714.0s»
2cbrt (problem 3.3.4)29.78.710.0s»
tanhf (example 3.4)30.40.60.013.5s»
quadp (p42, positive)33.86.520.79.2s»
quadm (p42, negative)33.68.720.59.6s»
qlog (example 3.10)61.20.50.413.6s»
logs (example 3.8)63.00.0016.2s»
logq (problem 3.4.3)58.50.70.311.8s»
invcot (example 3.9)59.80.40.110.8s»
expq3 (problem 3.4.2)60.63.115.019.3s»
expq2 (section 3.11)41.30.541.09.7s»
expm1 (example 3.7)58.50.50.59.9s»
expax (section 3.5)29.70.40.211.6s»
exp2 (problem 3.3.7)29.30.60.010.0s»
3frac (problem 3.3.3)9.70.20.39.6s»
2tan (problem 3.3.2)36.613.414.916.3s»
2sqrt (example 3.1)29.60.20.211.1s»
2sin (example 3.3)36.60.714.914.0s»
2isqrt (example 3.6)19.40.80.611.0s»
2atan (example 3.5)14.90.40.411.7s»