derivative of (x^2 + 3) ^ 2 + y for x