double de1(double); double dei(double);