Time: 22.9m
Passed: 29/29
Tests: 32
Bits: 1012/1080

Date:Wednesday, August 15th, 2018
Commit:724984d9d8a1d190b1e26bca0eaf4d41c3bce961 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018227
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)39.40.05.8s»
sintan (problem 3.4.5)30.70.040.8s»
quad2p (problem 3.2.1, positive)33.412.523.7s»
quad2m (problem 3.2.1, negative)33.77.031.0s»
cos2 (problem 3.4.1)30.60.330.4s»
3.9.2 real part (p56)61.9026.2s»
3.9.2 imaginary part (p56)0024.1s»
3.9.1 real part (p56)0024.1s»
3.9.1 imaginary part (p56)0023.6s»
2nthrt (problem 3.4.6)32.723.71.8m»
2log (problem 3.3.6)29.70.024.7s»
2frac (problem 3.3.1)14.70.415.6s»
2cos (problem 3.3.5)39.20.719.8s»
2cbrt (problem 3.3.4)30.40.423.5s»
tanhf (example 3.4)29.80.00.017.6s»
quadp (p42, positive)33.47.020.91.3m»
quadm (p42, negative)33.79.320.652.0s»
qlog (example 3.10)61.00.00.314.8s»
logs (example 3.8)63.00014.1s»
logq (problem 3.4.3)58.60.20.238.1s»
invcot (example 3.9)60.00.30.137.8s»
expq3 (problem 3.4.2)58.73.214.139.3s»
expq2 (section 3.11)39.90.439.53.2s»
expm1 (example 3.7)58.60.00.53.1s»
expax (section 3.5)28.70.00.117.6s»
exp2 (problem 3.3.7)29.80.60.03.1m»
3frac (problem 3.3.3)9.70.10.342.3s»
2tan (problem 3.3.2)36.90.615.35.4m»
2sqrt (example 3.1)30.10.20.216.0s»
2sin (example 3.3)36.90.515.324.9s»
2isqrt (example 3.6)19.90.30.731.7s»
2atan (example 3.5)15.20.40.49.9s»