Mul 4 acot Pow Pow Mul acosh Mul E x0 5 acoth x0 x6 
Mul 4 Mul -1 Mul Mul Pow Pow Mul acosh Mul E x0 5 acoth x0 Add x6 -1 Mul x6 Mul Pow Mul acosh Mul E x0 5 Add acoth x0 -1 Add Mul acoth x0 Mul 5 Mul E Pow Mul sqrt Add Mul E x0 -1 sqrt Add 1 Mul E x0 -1 Mul Mul Mul acosh Mul E x0 5 log Mul acosh Mul E x0 5 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Pow Pow Mul acosh Mul E x0 5 acoth x0 x6 Pow Pow Mul acosh Mul E x0 5 acoth x0 x6 -1 