дошел типа до предела с Гудстейном

На 154340-м шаге (ускоренного вычисления) не хватило места на сложение двух длинных чисел, примерно 9.249048·1023202 и примерно такое же.

а вот навалял Гудстейна

https://github.com/vpatryshev/wowiki/tree/master/Goodstein 

В ускоренном режиме ничо так доходит до чисел; но можно еще ускорить, проскакивая все элементы с ненулевыми свободными членами; а можно проскакивать и все элементы с ненулевыми членами первого порядка, там а*2a шагов, чтобы проскочить a*k.

Короче, две недели попрограммировал всласть. Без всяких там... китайских коверкеров.