なんでマセマティカみたいに文字式のまま方程式解いてくれるライブラリが無いの？