Add x3 Mul 4 Pow Pow coth x0 cosh x0 Add asinh x0 x2 
Mul 4 Mul Pow Pow coth x0 cosh x0 Add Add asinh x0 x2 -1 Add Mul Add asinh x0 x2 Mul Pow coth x0 Add cosh x0 -1 Add Mul cosh x0 Mul -1 Pow csch x0 2 Mul Mul coth x0 log coth x0 sinh x0 Mul Mul Pow coth x0 cosh x0 log Pow coth x0 cosh x0 Pow sqrt Add 1 Mul x0 x0 -1 