Time: 33.8m
Passed: 29/29
Tests: 32
Bits: 1019/1080

Date:Thursday, July 12th, 2018
Commit:86b84ef2c54ef174fbb988bf9846dfd069559a45 on regime-testing
Hostname:warfa
Points:256
Fuel:4
Seed:2018193
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.60.027.8s»
sintan (problem 3.4.5)31.20.12.0m»
quad2p (problem 3.2.1, positive)33.410.41.7m»
quad2m (problem 3.2.1, negative)33.48.81.9m»
cos2 (problem 3.4.1)31.00.154.7s»
3.9.2 real part (p56)61.9029.4s»
3.9.2 imaginary part (p56)0029.8s»
3.9.1 real part (p56)0026.5s»
3.9.1 imaginary part (p56)0028.1s»
2nthrt (problem 3.4.6)32.318.51.2m»
2log (problem 3.3.6)29.80.233.1s»
2frac (problem 3.3.1)14.40.432.9s»
2cos (problem 3.3.5)39.50.847.9s»
2cbrt (problem 3.3.4)29.90.529.6s»
tanhf (example 3.4)30.20.00.018.0s»
quadp (p42, positive)33.59.220.72.5m»
quadm (p42, negative)33.47.020.72.6m»
qlog (example 3.10)60.70.00.328.3s»
logs (example 3.8)63.00014.4s»
logq (problem 3.4.3)58.30.20.24.1m»
invcot (example 3.9)59.90.30.11.1m»
expq3 (problem 3.4.2)58.60.214.358.0s»
expq2 (section 3.11)40.10.439.76.2s»
expm1 (example 3.7)58.70.00.43.8s»
expax (section 3.5)28.80.00.24.0s»
exp2 (problem 3.3.7)29.50.50.01.1m»
3frac (problem 3.3.3)9.80.50.22.4m»
2tan (problem 3.3.2)36.90.715.32.9m»
2sqrt (example 3.1)30.20.30.235.9s»
2sin (example 3.3)37.00.615.346.8s»
2isqrt (example 3.6)20.20.30.643.0s»
2atan (example 3.5)14.80.40.414.6s»