cosh atan acot Pow cosh x0 Add x0 x7 
Mul sinh atan acot Pow cosh x0 Add x0 x7 Mul Mul -1 Mul Mul Pow cosh x0 Add Add x0 x7 -1 Add Mul Add x0 x7 sinh x0 Mul cosh x0 log cosh x0 Pow Add 1 Mul Pow cosh x0 Add x0 x7 Pow cosh x0 Add x0 x7 -1 Pow Add 1 Mul acot Pow cosh x0 Add x0 x7 acot Pow cosh x0 Add x0 x7 -1 