Mul 3 Pow cosh x0 Add csc Add x7 x0 Pow atanh x7 x7 
Mul 3 Mul Pow cosh x0 Add Add csc Add x7 x0 Pow atanh x7 x7 -1 Add Mul Add csc Add x7 x0 Pow atanh x7 x7 sinh x0 Mul Mul cosh x0 log cosh x0 Mul Mul -1 cot Add x7 x0 csc Add x7 x0 