Pow acoth Add acsch Mul Add Pow acosh E x0 x0 5 Pow Add Add x0 pi acosh E x0 E 
Mul Pow acoth Add acsch Mul Add Pow acosh E x0 x0 5 Pow Add Add x0 pi acosh E x0 Add E -1 Mul E Mul Add Mul Mul -1 Mul 5 Add Mul Pow acosh E Add x0 -1 Mul acosh E log acosh E 1 Pow Mul Mul Mul Add Pow acosh E x0 x0 5 Mul Add Pow acosh E x0 x0 5 sqrt Add 1 Mul -1 Pow Mul Mul Add Pow acosh E x0 x0 5 Mul Add Pow acosh E x0 x0 5 -1 -1 Mul Pow Add Add x0 pi acosh E Add x0 -1 Add x0 Mul Add Add x0 pi acosh E log Add Add x0 pi acosh E Pow Add 1 Mul -1 Mul Add acsch Mul Add Pow acosh E x0 x0 5 Pow Add Add x0 pi acosh E x0 Add acsch Mul Add Pow acosh E x0 x0 5 Pow Add Add x0 pi acosh E x0 -1 