Time: 30.0m
Passed: 27/29
Tests: 32
Bits: 938/1080

Date:Monday, May 7th, 2018
Commit:37e93f12b46ad8d70a79c0934e8ea6de8326cf95 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:#(1070833653 108281690 3330367898 3632331308 3494323072 43156186)
Flags:
rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexsetup:simplifyfn:cbrtgenerate: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.40.07.2s»
sintan (problem 3.4.5)31.10.02.0m»
quad2p (problem 3.2.1, positive)33.46.71.4m»
quad2m (problem 3.2.1, negative)32.98.31.4m»
cos2 (problem 3.4.1)30.90.22.8m»
3.9.2 real part (p56)61.961.928.6s»
3.9.2 imaginary part (p56)0028.6s»
3.9.1 real part (p56)0027.9s»
3.9.1 imaginary part (p56)0027.1s»
2nthrt (problem 3.4.6)32.82.32.5m»
2log (problem 3.3.6)29.60.631.0s»
2frac (problem 3.3.1)14.60.441.1s»
2cos (problem 3.3.5)40.00.840.8s»
2cbrt (problem 3.3.4)30.00.526.2s»
tanhf (example 3.4)30.10.00.013.1s»
quadp (p42, positive)33.413.520.02.3m»
quadm (p42, negative)32.910.020.42.3m»
qlog (example 3.10)61.00.00.316.5s»
logs (example 3.8)63.00.0024.2s»
logq (problem 3.4.3)58.60.20.255.0s»
invcot (example 3.9)59.90.40.158.0s»
expq3 (problem 3.4.2)58.80.414.11.1m»
expq2 (section 3.11)39.90.439.51.2m»
expm1 (example 3.7)58.60.00.43.6s»
expax (section 3.5)29.40.00.28.6s»
exp2 (problem 3.3.7)29.20.60.047.5s»
3frac (problem 3.3.3)9.60.10.21.7m»
2tan (problem 3.3.2)37.113.715.61.5m»
2sqrt (example 3.1)30.00.20.226.4s»
2sin (example 3.3)37.10.515.632.6s»
2isqrt (example 3.6)19.919.90.729.3s»
2atan (example 3.5)15.10.40.413.9s»