Mul Pow cosh x0 x1 exp Add Pow sqrt cot x0 Add x7 x0 x0 
Add Mul exp Add Pow sqrt cot x0 Add x7 x0 x0 Mul Pow cosh x0 Add x1 -1 Mul x1 sinh x0 Mul Pow cosh x0 x1 Mul exp Add Pow sqrt cot x0 Add x7 x0 x0 Add Mul Pow sqrt cot x0 Add Add x7 x0 -1 Add Mul Add x7 x0 Mul Pow Mul 2 sqrt cot x0 -1 Mul -1 Pow csc x0 2 Mul sqrt cot x0 log sqrt cot x0 1 