maxima leader formulas