log acos Pow atan Pow coth x3 cosh x0 Pow x4 coth Add x2 -3 
Mul Mul -1 Mul Mul Pow atan Pow coth x3 cosh x0 Add Pow x4 coth Add x2 -3 -1 Mul Pow x4 coth Add x2 -3 Mul Mul Pow coth x3 Add cosh x0 -1 Mul Mul coth x3 log coth x3 sinh x0 Pow Add 1 Mul Pow coth x3 cosh x0 Pow coth x3 cosh x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow atan Pow coth x3 cosh x0 Pow x4 coth Add x2 -3 Pow atan Pow coth x3 cosh x0 Pow x4 coth Add x2 -3 -1 Pow acos Pow atan Pow coth x3 cosh x0 Pow x4 coth Add x2 -3 -1 