If (e^x)^-2 X (e^x)^2 X