Okay, here's the integrand: ex1 := (1+tan(gamma/2)^2)/(k^2+l^2*tan(gamma/2)^2)
Let's find the antiderivative: ex2 := integrate(ex1,gamma) And this is a simpler variant of the antiderivative: ex3 := (2*atan(l/k*tan(gamma/2)))/(k*l) Let's do a simple comparison: normalize(ex2-ex3) Oops, the difference is -π/(2kl). However: D(ex2,gamma)-D(ex3,gamma) returns zero. How can make FriCAS find the simpler antiderivative? -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/lu5nC29kFNXHtzvymIwOXZ9Su0rtaoYrAq5rwBL_7pmfiOv34d0X_cV3i2eSECVEkJwsJIgEfhlBy40M4IHLHZ5XtHCxW51LqgRrxWRH3NM%3D%40proton.me.
