Pow Mul x4 Mul Mul acsch x6 x4 x2 asech Pow E x0 
Mul Pow Mul x4 Mul Mul acsch x6 x4 x2 Add asech Pow E x0 -1 Mul Mul Mul x4 Mul Mul acsch x6 x4 x2 log Mul x4 Mul Mul acsch x6 x4 x2 Mul Mul Pow E Add x0 -1 Mul E log E Pow Mul Mul Pow E x0 Pow E x0 sqrt Add 1 Mul -1 Pow Mul Pow E x0 Pow E x0 -1 -1 