>>65 数式処理ってそういう先回りした答えを出すものなのか?

ちなみにmathematicaでもn回微分と表示される
探せばそういう簡単化のオプションがあるのかもしれない