Pow cosh x0 Pow Pow x0 csc acot Mul x7 x0 x1 
Mul Pow cosh x0 Add Pow Pow x0 csc acot Mul x7 x0 x1 -1 Add Mul Pow Pow x0 csc acot Mul x7 x0 x1 sinh x0 Mul Mul cosh x0 log cosh x0 Mul Pow Pow x0 csc acot Mul x7 x0 Add x1 -1 Mul x1 Mul Pow x0 Add csc acot Mul x7 x0 -1 Add csc acot Mul x7 x0 Mul Mul x0 log x0 Mul Mul Mul -1 cot acot Mul x7 x0 csc acot Mul x7 x0 Mul -1 Mul x7 Pow Add 1 Mul Mul x7 x0 Mul x7 x0 -1 