Mul Pow sqrt E -2 Add 4 sinh acsch Add x0 acoth x4 
Mul Pow sqrt E -2 Mul cosh acsch Add x0 acoth x4 Mul -1 Pow Mul Mul Add x0 acoth x4 Add x0 acoth x4 sqrt Add 1 Mul -1 Pow Mul Add x0 acoth x4 Add x0 acoth x4 -1 -1 