System fully freezes upon attempting to find antiderivative for sqrt(sin(x)+x)
hacklex opened this issue · comments
hacklex commented
Well, in a partial defense of it, I'm yet to see a CAS capable of solving this one by either proving it being non-elementary, or actually computing it.
Still, Axiom honestly (and instantly) says, "implementation incomplete (constant residues)", which at least does not leave me not knowing what's going on.