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

>diff((2),x);simplify(%);

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? 

 

I am not sure if this is a general problem.  And I am considering the best way to evaluate the expression (Equation) when it contains variables which have been modified by using assume.   Here is a tiny test example:

restart;
assume(a>0,x>0);
int(int(x^2/y^2,y=1/x..x),x=1..a);S:=%:  
                        1  4   1   1  2