[math-fun] Symbolic derivatives in Mma