d/dx 5^(x^2 - 1) + 3