Time: 18.1m
Passed: 28/28
Tests: 28
Bits: 973/1021

Date:Tuesday, April 24th, 2018
Commit:ef6da59c98f6c41a5c85092bc93e2c0df36dcdff on develop
Points:256
Fuel:4
Seed:#(1064300848 3212030778 2049303162 3567222883 2277747821 1384278011)
Flags:
rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicsetup:simplifygenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:double
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)40.00.012.1s»
sintan (problem 3.4.5)31.40.048.6s»
quad2p (problem 3.2.1, positive)33.48.850.6s»
quad2m (problem 3.2.1, negative)33.89.550.1s»
cos2 (problem 3.4.1)31.20.328.4s»
2nthrt (problem 3.4.6)32.83.31.3m»
2log (problem 3.3.6)29.80.013.4s»
2frac (problem 3.3.1)14.31.321.7s»
2cos (problem 3.3.5)39.60.853.7s»
2cbrt (problem 3.3.4)29.80.626.2s»
tanhf (example 3.4)30.40.201.1m»
quadp (p42, positive)33.48.920.71.9m»
quadm (p42, negative)33.810.421.02.1m»
qlog (example 3.10)61.10.00.321.0s»
logs (example 3.8)63.0008.4s»
logq (problem 3.4.3)58.70.20.216.9s»
invcot (example 3.9)60.00.30.156.9s»
expq3 (problem 3.4.2)58.70.514.147.6s»
expq2 (section 3.11)40.50.540.113.2s»
expm1 (example 3.7)58.60.00.54.1s»
expax (section 3.5)29.20.00.28.0s»
exp2 (problem 3.3.7)29.80.70.016.6s»
3frac (problem 3.3.3)9.40.40.251.0s»
2tan (problem 3.3.2)36.80.614.91.1m»
2sqrt (example 3.1)30.20.20.223.5s»
2sin (example 3.3)36.80.514.830.7s»
2isqrt (example 3.6)19.90.30.720.5s»
2atan (example 3.5)14.80.40.412.0s»