Add asech Pow log Mul x0 x0 E Add x0 E 
Add Mul Mul Pow log Mul x0 x0 Add E -1 Mul E Mul Add x0 x0 Pow Mul x0 x0 -1 Pow Mul Mul Pow log Mul x0 x0 E Pow log Mul x0 x0 E sqrt Add 1 Mul -1 Pow Mul Pow log Mul x0 x0 E Pow log Mul x0 x0 E -1 -1 1 