cot Mul Mul -2 Pow cosh x2 x0 exp acot Add Add 1 x6 Add x3 x0 
Mul Mul -1 Pow csc Mul Mul -2 Pow cosh x2 x0 exp acot Add Add 1 x6 Add x3 x0 2 Add Mul exp acot Add Add 1 x6 Add x3 x0 Mul -2 Mul Pow cosh x2 Add x0 -1 Mul cosh x2 log cosh x2 Mul Mul -2 Pow cosh x2 x0 Mul exp acot Add Add 1 x6 Add x3 x0 Mul -1 Pow Add 1 Mul Add Add 1 x6 Add x3 x0 Add Add 1 x6 Add x3 x0 -1 