derivative of 8y-3x