Mul x5 Mul Add Add Pow x7 atanh Pow acoth x0 x2 sec Pow E x0 x1 E 
Mul x5 Mul E Add Mul Pow x7 Add atanh Pow acoth x0 x2 -1 Mul Mul x7 log x7 Mul Mul Pow acoth x0 Add x2 -1 Mul x2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow acoth x0 x2 Pow acoth x0 x2 -1 Mul Mul tan Pow E x0 sec Pow E x0 Mul Pow E Add x0 -1 Mul E log E 