Mul acos coth Add Add x0 -3 x1 cosh Mul 2 x0 
Add Mul cosh Mul 2 x0 Mul -1 Mul Mul -1 Pow csch Add Add x0 -3 x1 2 Pow sqrt Add 1 Mul -1 Mul coth Add Add x0 -3 x1 coth Add Add x0 -3 x1 -1 Mul acos coth Add Add x0 -3 x1 Mul sinh Mul 2 x0 2 