Time: 33.5m
Passed: 29/31
Tests: 36
Bits: 1017/1135

Date:Wednesday, August 22nd, 2018
Commit:4e924be3125566e8e27de69ca0ee25cd0b20a544 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018234
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.11.1m»
sintan (problem 3.4.5)31.00.039.7s»
quad2p (problem 3.2.1, positive)33.57.437.7s»
quad2m (problem 3.2.1, negative)33.38.749.6s»
exp with complex power real part (p55)0.00.016.2s»
exp with complex power imaginary part (p55)43.743.729.7s»
cos2 (problem 3.4.1)30.80.245.1s»
Euler formula real part (p55)0.00.018.3s»
Euler formula imaginary part (p55)43.70.847.2s»
3.9.2 real part (p56)61.9027.2s»
3.9.2 imaginary part (p56)0024.7s»
3.9.1 real part (p56)0026.7s»
3.9.1 imaginary part (p56)0024.8s»
2nthrt (problem 3.4.6)32.923.71.5m»
2log (problem 3.3.6)30.30.11.1m»
2frac (problem 3.3.1)14.70.427.0s»
2cos (problem 3.3.5)40.30.721.4s»
2cbrt (problem 3.3.4)30.10.51.2m»
tanhf (example 3.4)30.00013.1s»
quadp (p42, positive)33.513.020.61.1m»
quadm (p42, negative)33.312.520.557.2s»
qlog (example 3.10)61.00.00.324.2s»
logs (example 3.8)63.00014.8s»
logq (problem 3.4.3)58.60.20.230.2s»
invcot (example 3.9)59.90.30.133.0s»
expq3 (problem 3.4.2)58.73.314.11.1m»
expq2 (section 3.11)39.90.439.553.3s»
expm1 (example 3.7)58.60.00.54.3s»
expax (section 3.5)29.40.00.25.4s»
exp2 (problem 3.3.7)29.50.70.01.1m»
3frac (problem 3.3.3)10.10.10.32.4m»
2tan (problem 3.3.2)10.0m»
2sqrt (example 3.1)30.80.20.218.6s»
2sin (example 3.3)37.50.415.535.3s»
2isqrt (example 3.6)20.50.30.733.1s»
2atan (example 3.5)15.20.40.49.5s»