cot Mul cosh x4 Add x0 Add Mul Add x0 x0 Add 2 sqrt x0 x6 
Mul Mul -1 Pow csc Mul cosh x4 Add x0 Add Mul Add x0 x0 Add 2 sqrt x0 x6 2 Mul cosh x4 Add 1 Add Mul Add 2 sqrt x0 2 Mul Add x0 x0 Pow Mul 2 sqrt x0 -1 