Time: 27.3m
Passed: 28/29
Tests: 32
Bits: 955/1078

Date:Saturday, May 5th, 2018
Commit:83958eb71c55ecd617016a37ff7a313e0523e0d4 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:#(1070706311 3771791028 4128836681 4194990999 2341756049 504035650)
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.70.07.7s»
sintan (problem 3.4.5)31.60.01.0m»
quad2p (problem 3.2.1, positive)33.09.81.2m»
quad2m (problem 3.2.1, negative)33.59.61.4m»
cos2 (problem 3.4.1)31.31.11.4m»
3.9.2 real part (p56)61.961.927.9s»
3.9.2 imaginary part (p56)0030.7s»
3.9.1 real part (p56)0026.5s»
3.9.1 imaginary part (p56)0029.7s»
2nthrt (problem 3.4.6)32.92.22.7m»
2log (problem 3.3.6)28.70.149.2s»
2frac (problem 3.3.1)14.30.21.1m»
2cos (problem 3.3.5)39.60.837.1s»
2cbrt (problem 3.3.4)29.70.528.6s»
tanhf (example 3.4)30.50.00.013.9s»
quadp (p42, positive)33.19.820.31.8m»
quadm (p42, negative)33.610.020.12.3m»
qlog (example 3.10)60.90.40.330.0s»
logs (example 3.8)63.00.0023.3s»
logq (problem 3.4.3)58.70.20.237.8s»
invcot (example 3.9)59.90.40.152.0s»
expq3 (problem 3.4.2)58.70.914.11.1m»
expq2 (section 3.11)40.10.339.822.6s»
expm1 (example 3.7)58.70.00.44.0s»
expax (section 3.5)29.60.00.212.2s»
exp2 (problem 3.3.7)29.80.50.029.3s»
3frac (problem 3.3.3)9.70.10.31.5m»
2tan (problem 3.3.2)36.412.614.91.8m»
2sqrt (example 3.1)29.20.20.240.9s»
2sin (example 3.3)36.40.714.939.1s»
2isqrt (example 3.6)19.20.30.641.6s»
2atan (example 3.5)14.70.40.421.2s»