Time: 32.5m
Passed: 29/29
Tests: 32
Bits: 1024/1081

Date:Thursday, June 7th, 2018
Commit:c7f1f8ffa3deb361510e3f09f4ce77a9e73fe346 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:#(1072840222 1305617769 1692503039 1353360431 4178980589 1488672652)
Flags:
rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchessetup: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.50.024.8s»
sintan (problem 3.4.5)31.30.01.8m»
quad2p (problem 3.2.1, positive)33.26.81.7m»
quad2m (problem 3.2.1, negative)33.66.61.6m»
cos2 (problem 3.4.1)31.10.444.7s»
3.9.2 real part (p56)61.9026.9s»
3.9.2 imaginary part (p56)0027.2s»
3.9.1 real part (p56)0023.9s»
3.9.1 imaginary part (p56)0024.4s»
2nthrt (problem 3.4.6)32.12.22.6m»
2log (problem 3.3.6)29.70.022.0s»
2frac (problem 3.3.1)14.40.427.3s»
2cos (problem 3.3.5)39.70.749.0s»
2cbrt (problem 3.3.4)29.90.529.1s»
tanhf (example 3.4)30.20011.5s»
quadp (p42, positive)33.210.820.62.7m»
quadm (p42, negative)33.710.320.62.6m»
qlog (example 3.10)61.00.00.335.5s»
logs (example 3.8)63.00.008.2s»
logq (problem 3.4.3)58.70.20.23.5m»
invcot (example 3.9)60.00.30.157.4s»
expq3 (problem 3.4.2)58.71.114.71.8m»
expq2 (section 3.11)40.00.439.618.2s»
expm1 (example 3.7)58.50.00.53.3s»
expax (section 3.5)29.20.00.23.2s»
exp2 (problem 3.3.7)29.20.50.030.3s»
3frac (problem 3.3.3)9.90.10.21.8m»
2tan (problem 3.3.2)37.214.115.12.1m»
2sqrt (example 3.1)30.20.20.218.5s»
2sin (example 3.3)37.20.715.037.4s»
2isqrt (example 3.6)20.10.50.71.5m»
2atan (example 3.5)14.90.40.413.1s»