[math-fun] "first derivative"