Mul Add Pow atan x0 cosh Mul Add x0 x0 log Add x0 x0 1 Add coth x3 x5 
Mul Add coth x3 x5 Mul Pow atan x0 Add cosh Mul Add x0 x0 log Add x0 x0 -1 Add Mul cosh Mul Add x0 x0 log Add x0 x0 Pow Add 1 Mul x0 x0 -1 Mul Mul atan x0 log atan x0 Mul sinh Mul Add x0 x0 log Add x0 x0 Add Mul log Add x0 x0 2 Mul Add x0 x0 Mul 2 Pow Add x0 x0 -1 