If you read all the way into the comments, you'll see that this does happen -- but only for values of n that are quite small. And this is a side effect of other optimizations -- not because of anything specific to this closed form.
There are certain calculations both will bail on due to solving cost (rather than inability to solve), but otherwise ...