Time: 30.8m
Passed: 27/28
Tests: 28
Bits: 874/1018

Date:Tuesday, February 13th, 2018
Commit:874d6258fe5b89744e74d92bc7cdeae811c25dae on develop
Points:256
Fuel:4
Seed:#(1063185673 2139736501 2393378123 1907444849 1070993796 1007244912)
Flags:
rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicsetup:simplifygenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchprecision:double
default
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)39.80.017.7s»
sintan (problem 3.4.5)31.40.01.7m»
quad2p (problem 3.2.1, positive)33.18.61.6m»
quad2m (problem 3.2.1, negative)33.26.61.4m»
expm1 (example 3.7)58.70.451.1s»
cos2 (problem 3.4.1)31.20.352.3s»
2nthrt (problem 3.4.6)32.523.51.7m»
2log (problem 3.3.6)29.50.11.1m»
2frac (problem 3.3.1)14.30.131.0s»
2cos (problem 3.3.5)39.50.858.3s»
2cbrt (problem 3.3.4)29.60.533.8s»
tanhf (example 3.4)30.40.40.01.7m»
quadp (p42, positive)33.210.020.22.3m»
quadm (p42, negative)33.29.020.42.2m»
qlog (example 3.10)60.90.40.32.0m»
logs (example 3.8)63.060.801.5m»
logq (problem 3.4.3)58.50.20.223.0s»
invcot (example 3.9)59.80.30.11.3m»
expq3 (problem 3.4.2)58.83.214.21.3m»
expq2 (section 3.11)40.20.639.921.5s»
expax (section 3.5)29.60.30.21.1m»
exp2 (problem 3.3.7)29.70.60.01.2m»
3frac (problem 3.3.3)9.50.20.328.4s»
2tan (problem 3.3.2)36.814.215.11.3m»
2sqrt (example 3.1)29.90.20.211.2s»
2sin (example 3.3)36.90.715.152.8s»
2isqrt (example 3.6)19.70.40.732.9s»
2atan (example 3.5)14.70.40.426.8s»