[math-fun] Symbolic Calculation