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