coth Pow x4 Pow Add sqrt x0 Add x0 cosh x5 Add acos x5 x3 
Mul Mul -1 Pow csch Pow x4 Pow Add sqrt x0 Add x0 cosh x5 Add acos x5 x3 2 Mul Pow x4 Add Pow Add sqrt x0 Add x0 cosh x5 Add acos x5 x3 -1 Mul Mul x4 log x4 Mul Pow Add sqrt x0 Add x0 cosh x5 Add Add acos x5 x3 -1 Mul Add acos x5 x3 Add Pow Mul 2 sqrt x0 -1 1 