Time: 38.9m
Passed: 29/29
Tests: 32
Bits: 1021/1080

Date:Friday, February 22nd, 2019
Commit:e26cdb8327c62adb02cbaae52bdd24dae3fab69e on master
Hostname:warfa
Points:256
Fuel:4
Seed:2019053
Flags:
setup:simplifyfn:cbrtrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)39.60.09.5s»
sintan (problem 3.4.5)31.20.01.9m»
quad2p (problem 3.2.1, positive)33.59.81.7m»
quad2m (problem 3.2.1, negative)33.48.51.6m»
cos2 (problem 3.4.1)31.00.556.6s»
3.9.2 real part (p56)61.9028.2s»
3.9.2 imaginary part (p56)0029.2s»
3.9.1 real part (p56)0026.0s»
3.9.1 imaginary part (p56)0024.2s»
2nthrt (problem 3.4.6)32.72.23.0m»
2log (problem 3.3.6)29.40.11.4m»
2frac (problem 3.3.1)14.40.441.2s»
2cos (problem 3.3.5)39.41.137.2s»
2cbrt (problem 3.3.4)29.70.530.5s»
tanhf (example 3.4)30.20.00.018.9s»
quadp (p42, positive)33.69.720.63.4m»
quadm (p42, negative)33.48.320.83.9m»
qlog (example 3.10)60.80.00.456.3s»
logs (example 3.8)63.00.009.0s»
logq (problem 3.4.3)58.50.20.26.0m»
invcot (example 3.9)59.80.40.141.9s»
expq3 (problem 3.4.2)58.60.014.41.2m»
expq2 (section 3.11)40.10.439.716.6s»
expm1 (example 3.7)58.60.00.42.9s»
expax (section 3.5)29.80.00.214.5s»
exp2 (problem 3.3.7)29.50.60.01.9m»
3frac (problem 3.3.3)9.80.50.250.8s»
2tan (problem 3.3.2)36.713.315.31.8m»
2sqrt (example 3.1)29.80.30.223.8s»
2sin (example 3.3)36.70.715.343.6s»
2isqrt (example 3.6)19.80.50.61.5m»
2atan (example 3.5)14.90.40.414.9s»