Pow Mul csc csch Mul x0 2 cosh x0 x0 
Mul Pow Mul csc csch Mul x0 2 cosh x0 Add x0 -1 Add Mul x0 Add Mul cosh x0 Mul Mul Mul -1 cot csch Mul x0 2 csc csch Mul x0 2 Mul Mul Mul -1 coth Mul x0 2 csch Mul x0 2 2 Mul csc csch Mul x0 2 sinh x0 Mul Mul csc csch Mul x0 2 cosh x0 log Mul csc csch Mul x0 2 cosh x0 