求一个mathematica对复杂式子的解法