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