dx e^x e^-x