瑣末だが、四則と冪根しかない公式だって、多くの場合根号は
近似計算しかできないんだから手続き的にわかるというのはどうだろうね。
逆に、慣れてりゃ楕円関数の近似計算だって手続き的に見えるだろうさ。