Yeah, actually using the Risch algorithm is usually a last resort in a lot of CAS' because it's fairly intensive and also will often produce answers in a form very different from what a human would give. It's also famously difficult to implement, so if this library is using it without a thick layer of tricks and heuristics then that's probably where the slowness comes from.