Kyodaisuu/F3の展開

ふぃっしゅ数バージョン3の展開です。s(n)変換の解析が前提となっています。\begin{eqnarray*} F_3&=& [ss(2)^{63} f]^{63}(3)\\&=& [ss(2)^{63} f]^{62}(X0)\\ X0&=& ss(2)^{63}f(3)\\&=& ss(2) ss(2)^{62} f(3)\\&=& ss(1)^3 ss(2)^{62} f(3)\\&=& ss(1) ss(1)^2 ss(2)^{62} f(3)\\&=& s(3) ss(1)^2 ss(2)^{62} f(3)\\&=…