式の簡略化
対数を変換する関数を紹介しましょう:collectLogexpr _:= Module {rule1、rule2、a、b、x}、rule1 = Loga_ + Logb _-> Loga * b; rule2 = x_