Le forum de XCAS

supposons(x>0);
E:=1/(cos(t)^2+x*sin(t)^2);
simplifier(int(E,t,0,pi/2));
renvoie pi*sqrt(x)/(2*x)
Parfait mais
E:=1/(cos(t)^2+sin(t)^2);
simplifier(int(E,t,0,pi/2));
fait quitter Xcas

oui, une récursion infinie en appliquant des règles de Bioche...