Add x4 Pow Mul Add Add x0 x0 Pow sqrt pi x3 Pow Pow Pow E acoth asinh x2 -2 sinh x0 pi 
Mul Pow Mul Add Add x0 x0 Pow sqrt pi x3 Pow Pow Pow E acoth asinh x2 -2 sinh x0 Add pi -1 Mul pi Add Mul Pow Pow Pow E acoth asinh x2 -2 sinh x0 2 Mul Add Add x0 x0 Pow sqrt pi x3 Mul Pow Pow Pow E acoth asinh x2 -2 Add sinh x0 -1 Mul Mul Pow Pow E acoth asinh x2 -2 log Pow Pow E acoth asinh x2 -2 cosh x0 