Laguerre_formula loading ...