derivative of 4^(x^2 + 3)