It seems bananas to me that Mathematica and other existing CASes can't solve that first sample equation: it reads like a straightforward integration, taking just a parameter substitution and an inverse trig derivative (which I feel like everyone doing calculus knows by heart?). Maybe I should go do it on paper and I'm missing the hard part?