(x^3+2x+7) \cdot 3^{-x}