[watcher]

要求关于x和y的解析解，很大程度上取决于规定了x和y的方程的形式，所以最好把你的方程写完整。
其实作符号运算，最好的工具是大脑，机器毕竟还没人聪明。