asech Pow x0 Add acsch acosh acoth x0 Mul Pow x0 x7 E 
Mul Mul Pow x0 Add Add acsch acosh acoth x0 Mul Pow x0 x7 E -1 Add Add acsch acosh acoth x0 Mul Pow x0 x7 E Mul Mul x0 log x0 Add Mul Mul -1 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add acoth x0 -1 sqrt Add 1 acoth x0 -1 Pow Mul Mul acosh acoth x0 acosh acoth x0 sqrt Add 1 Mul -1 Pow Mul acosh acoth x0 acosh acoth x0 -1 -1 Mul E Mul Pow x0 Add x7 -1 x7 Pow Mul Mul Pow x0 Add acsch acosh acoth x0 Mul Pow x0 x7 E Pow x0 Add acsch acosh acoth x0 Mul Pow x0 x7 E sqrt Add 1 Mul -1 Pow Mul Pow x0 Add acsch acosh acoth x0 Mul Pow x0 x7 E Pow x0 Add acsch acosh acoth x0 Mul Pow x0 x7 E -1 -1 