symbolic calculation in python