I want to verify the following function expression
is indeed an antiderivative of the function expression
where A>0 with B^2-4*A*C<0.
I have tried the command
where (2) is the label of the antiderivative expression. But the result is very awkarward and lengthy. How could I verify the antiderivative expression is indeed an antiderivative of the other function by using Maple 17?