(d/dx)(8x^8+3x^5)