Pow Mul Pow exp x0 asech sec E Mul acoth log x0 x7 acosh Add 2 Mul exp sec x5 x0 
Mul Pow Mul Pow exp x0 asech sec E Mul acoth log x0 x7 Add acosh Add 2 Mul exp sec x5 x0 -1 Add Mul acosh Add 2 Mul exp sec x5 x0 Add Mul Mul acoth log x0 x7 Mul Pow exp x0 Add asech sec E -1 Mul asech sec E exp x0 Mul Pow exp x0 asech sec E Mul x7 Mul Pow x0 -1 Pow Add 1 Mul -1 Mul log x0 log x0 -1 Mul Mul Mul Pow exp x0 asech sec E Mul acoth log x0 x7 log Mul Pow exp x0 asech sec E Mul acoth log x0 x7 Mul exp sec x5 Pow Mul sqrt Add Add 2 Mul exp sec x5 x0 -1 sqrt Add 1 Add 2 Mul exp sec x5 x0 -1 