Mul Mul sech E x0 Pow csc Pow x1 x0 cosh x0 
Add Mul Pow csc Pow x1 x0 cosh x0 sech E Mul Mul sech E x0 Mul Pow csc Pow x1 x0 Add cosh x0 -1 Add Mul cosh x0 Mul Mul Mul -1 cot Pow x1 x0 csc Pow x1 x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul Mul csc Pow x1 x0 log csc Pow x1 x0 sinh x0 