結果 : symbolic math solver python