結果 : python symbolic math solver