That surprised me too. I found that Mathematica could solve it if you give it the denominator as 1-u^2 for the eventual substitution. Perhaps it just doesn't try very hard to look for substitutions? I could believe it not giving a lot of "coverage" per time spent compared to more advanced techniques.