Add x3 acosh Pow 0.785398163397448 acos coth x0 
Mul Mul Pow 0.785398163397448 Add acos coth x0 -1 Mul 0.543833688126958 Mul -1 Mul Mul -1 Pow csch x0 2 Pow sqrt Add 1 Mul -1 Mul coth x0 coth x0 -1 Pow Mul sqrt Add Pow 0.785398163397448 acos coth x0 -1 sqrt Add 1 Pow 0.785398163397448 acos coth x0 -1 