Mul x0 Mul x0 Pow x3 cosh acsch Add log coth cosh Pow x1 acos Add x4 coth x0 x0 
Add Mul x0 Pow x3 cosh acsch Add log coth cosh Pow x1 acos Add x4 coth x0 x0 Mul x0 Add Pow x3 cosh acsch Add log coth cosh Pow x1 acos Add x4 coth x0 x0 Mul x0 Mul Pow x3 Add cosh acsch Add log coth cosh Pow x1 acos Add x4 coth x0 x0 -1 Mul Mul x3 log x3 Mul sinh acsch Add log coth cosh Pow x1 acos Add x4 coth x0 x0 Mul Mul -1 Add Mul Mul Mul -1 Pow csch cosh Pow x1 acos Add x4 coth x0 2 Mul sinh Pow x1 acos Add x4 coth x0 Mul Pow x1 Add acos Add x4 coth x0 -1 Mul Mul x1 log x1 Mul -1 Mul Mul -1 Pow csch x0 2 Pow sqrt Add 1 Mul -1 Mul Add x4 coth x0 Add x4 coth x0 -1 Pow coth cosh Pow x1 acos Add x4 coth x0 -1 1 Pow Mul Mul Add log coth cosh Pow x1 acos Add x4 coth x0 x0 Add log coth cosh Pow x1 acos Add x4 coth x0 x0 sqrt Add 1 Mul -1 Pow Mul Add log coth cosh Pow x1 acos Add x4 coth x0 x0 Add log coth cosh Pow x1 acos Add x4 coth x0 x0 -1 -1 