changed: -integrate(sqrt(at^2+bt+c),t) integrate(sqrt(a*t^2+b*t+c),t)
axiomintegrate(sqrt(a*t^2+b*t+c),t)