On Mar 12, 2012, I wrote
------------------
>a redefinition of mydefint2 seems to work
>for this example:
---------------------------------
A second redefinition uses simp_assuming in
the same way that mydefint does:
-------------------------
(%i27) mydefint21(qe,qxL,qyL) :=
block([qrr],
qrr : apply('mydefint,
flatten([apply('mydefint,
flatten([qe,qyL])),qxL])),
qrr)$
(%i28) mydefint2(re,rxL,ryL) :=
block ([domain:complex],
ratsimp (simp_assuming
(mydefint21(re,rxL,ryL), not equal (rxL[1],0),
rxL[1] > rxL[2], rxL[1] <= rxL[3])))$
(%i29) mydefint2 (1/sqrt(x+y),[x,0,1],[y,0,1]);
(%o29) (2^(7/2)-8)/3
----------------------------
Ted