結果 : python symbolic math simplify