Simplify e^(-x)*e^x