Time: 27.5m
Passed: 29/29
Tests: 32
Bits: 1023/1081

Date:Friday, June 8th, 2018
Commit:6f9e4581b98814c1c8b9b37720a331a81c3370c8 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:#(1072936661 1621281212 3440817831 3219514234 460296804 1258167384)
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.30.012.1s»
sintan (problem 3.4.5)31.00.258.3s»
quad2p (problem 3.2.1, positive)33.39.21.7m»
quad2m (problem 3.2.1, negative)33.88.91.4m»
cos2 (problem 3.4.1)30.70.143.3s»
3.9.2 real part (p56)61.9026.9s»
3.9.2 imaginary part (p56)0026.4s»
3.9.1 real part (p56)0023.7s»
3.9.1 imaginary part (p56)0023.8s»
2nthrt (problem 3.4.6)33.21.92.5m»
2log (problem 3.3.6)29.30.024.0s»
2frac (problem 3.3.1)14.60.446.5s»
2cos (problem 3.3.5)39.91.140.8s»
2cbrt (problem 3.3.4)30.00.526.8s»
tanhf (example 3.4)30.00011.6s»
quadp (p42, positive)33.39.321.02.1m»
quadm (p42, negative)33.89.320.82.6m»
qlog (example 3.10)60.80.00.325.7s»
logs (example 3.8)63.00013.1s»
logq (problem 3.4.3)58.50.20.23.3m»
invcot (example 3.9)59.80.40.144.4s»
expq3 (problem 3.4.2)58.70.213.839.9s»
expq2 (section 3.11)39.70.439.318.5s»
expm1 (example 3.7)58.70.00.53.5s»
expax (section 3.5)29.40.00.22.8s»
exp2 (problem 3.3.7)29.60.60.020.2s»
3frac (problem 3.3.3)9.70.10.31.7m»
2tan (problem 3.3.2)37.013.115.41.3m»
2sqrt (example 3.1)29.70.20.219.7s»
2sin (example 3.3)37.10.515.335.4s»
2isqrt (example 3.6)19.80.50.752.2s»
2atan (example 3.5)15.10.40.411.4s»