Mul Pow cot Pow Pow x1 sinh x2 x0 cosh x0 x0 
Add Mul x0 Mul Pow cot Pow Pow x1 sinh x2 x0 Add cosh x0 -1 Add Mul cosh x0 Mul Mul -1 Pow csc Pow Pow x1 sinh x2 x0 2 Mul Pow Pow x1 sinh x2 Add x0 -1 Mul Pow x1 sinh x2 log Pow x1 sinh x2 Mul Mul cot Pow Pow x1 sinh x2 x0 log cot Pow Pow x1 sinh x2 x0 sinh x0 Pow cot Pow Pow x1 sinh x2 x0 cosh x0 