acot Pow Add x0 Mul Add cot x1 x0 sech Pow cosh x1 x0 x7 
Mul -1 Mul Mul Pow Add x0 Mul Add cot x1 x0 sech Pow cosh x1 x0 Add x7 -1 Mul x7 Add 1 Add sech Pow cosh x1 x0 Mul Add cot x1 x0 Mul Mul tanh Pow cosh x1 x0 Mul -1 sech Pow cosh x1 x0 Mul Pow cosh x1 Add x0 -1 Mul cosh x1 log cosh x1 Pow Add 1 Mul Pow Add x0 Mul Add cot x1 x0 sech Pow cosh x1 x0 x7 Pow Add x0 Mul Add cot x1 x0 sech Pow cosh x1 x0 x7 -1 