Pow sinh acsch Add 1 Add acos acoth E x0 E 
Mul Pow sinh acsch Add 1 Add acos acoth E x0 Add E -1 Mul E Mul cosh acsch Add 1 Add acos acoth E x0 Mul -1 Pow Mul Mul Add 1 Add acos acoth E x0 Add 1 Add acos acoth E x0 sqrt Add 1 Mul -1 Pow Mul Add 1 Add acos acoth E x0 Add 1 Add acos acoth E x0 -1 -1 