math/analysis/derivative.egi