It is not NotImplementedError which proves that the function is not elementary but the fact that coupled differential system returned "No solution" which I are the only cases included in the tests for now.
As we have talked out this already on the irc, there are implementation loops in the algorithm, we'll have to see test cases categorized according to the current added algorithm only ! <and this is the probable algo-path for such cases>