Time: 20.6m
Passed: 28/29
Tests: 32
Bits: 940/1083

Date:Saturday, August 4th, 2018
Commit:508a90c012a636cad80b872e202b5df570a6448a on clean-out-code
Hostname:warfa
Points:256
Fuel:4
Seed:2018216
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)40.20.05.9s»
sintan (problem 3.4.5)31.90.027.3s»
quad2p (problem 3.2.1, positive)33.110.529.2s»
quad2m (problem 3.2.1, negative)33.37.532.0s»
cos2 (problem 3.4.1)31.70.432.1s»
3.9.2 real part (p56)61.961.924.4s»
3.9.2 imaginary part (p56)0024.1s»
3.9.1 real part (p56)0023.9s»
3.9.1 imaginary part (p56)0024.2s»
2nthrt (problem 3.4.6)32.522.21.4m»
2log (problem 3.3.6)29.40.127.8s»
2frac (problem 3.3.1)14.30.427.4s»
2cos (problem 3.3.5)39.80.825.8s»
2cbrt (problem 3.3.4)29.30.51.2m»
tanhf (example 3.4)30.90013.7s»
quadp (p42, positive)33.112.020.233.1s»
quadm (p42, negative)33.39.220.21.2m»
qlog (example 3.10)61.10.00.321.1s»
logs (example 3.8)63.00013.9s»
logq (problem 3.4.3)58.70.20.22.2m»
invcot (example 3.9)59.90.30.150.9s»
expq3 (problem 3.4.2)58.70.214.653.6s»
expq2 (section 3.11)40.60.440.27.2s»
expm1 (example 3.7)58.70.00.53.5s»
expax (section 3.5)29.60.00.25.1s»
exp2 (problem 3.3.7)29.60.50.01.1m»
3frac (problem 3.3.3)9.70.10.341.0s»
2tan (problem 3.3.2)37.114.014.82.4m»
2sqrt (example 3.1)29.80.20.251.0s»
2sin (example 3.3)37.10.514.727.4s»
2isqrt (example 3.6)20.20.40.729.0s»
2atan (example 3.5)14.70.40.48.6s»