Identities about double Eisenstein series - Ce Xu (2018)