Resource Analysis for Lazy Evaluation with Polynomial Potential