Closed halirutan closed 5 years ago
The Rubi 4.15.2 available on the UWO website gets it in 6 steps. What version are you running? Try single stepping to see where it goes haywire.
I'm using version 4.15.2.1. The error comes from evaluating this Int
along the way
Int[1/Sqrt[1 + x^4] - x^2/Sqrt[1 + x^4], x]
For expression, the very early 13th DownValue matches
HoldPattern[Int[u_, x_Symbol]] :> Simp[IntSum[u, x], x] /; SumQ[Rubi`Private`u]
Therefore, this call goes haywire on my machine
Rubi`Private`IntSum[1/Sqrt[1 + x^4] - x^2/Sqrt[1 + x^4], x]
Fixed in 4.16.0
The following antiderivative cannot be found by Rubi. However, it doesn't say so but rather brings many messages:
This results in the following. Why is that?