testing ibpdv and ibpu

[Arno K]

Hello Salvo,
as I am fairly new to the Prime I spend a lot of time trying it, so I entered your Integration example and got the list :[u, int(sqrt(1-sin(u)^2)*cos(u),u,0,PI/2),PI/4].
This is: [substitution var, new integral, result], your solution is only shown after a final hit on simplify. The list is produced because you are entering three commands in one line. So :simplify(subst('int(sqrt(1-x^2),x,0,1)',x=sin(u))) directly produces nothing but PI/4.
Now I tried int(sqrt(1-x^2),x) to see what the Prime would deliver: the answer is too long to be typed here,containing i and LN aside the first part, I thought of getting:0.5*(x*sqrt(1-x^2)+arcsin(x)).
So I entered: assume(x,float) and gave it a try, no change, I added: additionally(x>=0), still no change. By the way, Complex is switched off.
Perhaps you or someone else can give it a try.
Thanks,
Arno
edit: I now took the real Prime and entered the integral which clearly produced the same result, xcas on my Computer, xcas pad on my mobile and my formerly preferred cas (MathStudio for Android) delivered the simplified answer, which you provided and I had expected. I am a bit disappointed...