deformula               deformula: Integration of One-Dimensional
                        Functions with Double Exponential Formulas
deformula.moneone       Integration of one-dimensional functions over
                        finite interval with the double exponential
                        formula.
deformula.zeroinf       Integration of one-dimensional functions over
                        infinite interval with the double exponential
                        formula.
