式木の簡約

[khei4]

a*1 = a
a * -1 \ -a
a * 0 = 0
a +(-) 0 = a
a/a = 1
a / -1 = -a
a - a = 0
f (const) = const f(c)
const * const = const

[khei4]

とりあえず, 関数の定数化以外は実装した

[khei4]

指数の肩の対数とか, 定数科は有理数で扱っているので厳しかった. 論文は浮動小数点だからね

[khei4]

いまのだと同じ項が3つあるとそこで止まる