Time: 17.2m
Passed: 28/29
Tests: 32
Bits: 947/1081

Date:Tuesday, August 7th, 2018
Commit:2da6b6650db78d8c0db7aed9a78517e7402b32d3 on clean-out-code
Hostname:warfa
Points:256
Fuel:4
Seed:2018219
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)39.60.020.8s»
sintan (problem 3.4.5)31.00.044.6s»
quad2p (problem 3.2.1, positive)33.16.823.0s»
quad2m (problem 3.2.1, negative)33.012.725.9s»
cos2 (problem 3.4.1)30.80.323.9s»
3.9.2 real part (p56)61.961.923.5s»
3.9.2 imaginary part (p56)0022.5s»
3.9.1 real part (p56)0023.7s»
3.9.1 imaginary part (p56)0022.5s»
2nthrt (problem 3.4.6)33.523.71.2m»
2log (problem 3.3.6)29.80.125.7s»
2frac (problem 3.3.1)14.90.111.8s»
2cos (problem 3.3.5)39.30.818.2s»
2cbrt (problem 3.3.4)30.10.422.4s»
tanhf (example 3.4)30.00.00.018.7s»
quadp (p42, positive)33.18.120.338.9s»
quadm (p42, negative)33.012.720.537.5s»
qlog (example 3.10)61.00.40.337.2s»
logs (example 3.8)63.00014.7s»
logq (problem 3.4.3)58.60.20.22.1m»
invcot (example 3.9)59.90.30.131.5s»
expq3 (problem 3.4.2)58.30.613.735.2s»
expq2 (section 3.11)40.11.039.734.6s»
expm1 (example 3.7)58.80.50.527.9s»
expax (section 3.5)29.20.30.121.9s»
exp2 (problem 3.3.7)29.90.50.021.0s»
3frac (problem 3.3.3)9.90.10.357.4s»
2tan (problem 3.3.2)36.60.515.61.0m»
2sqrt (example 3.1)30.20.20.240.6s»
2sin (example 3.3)36.60.415.421.6s»
2isqrt (example 3.6)20.30.80.720.6s»
2atan (example 3.5)15.40.40.47.9s»