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