Mul Pow Mul x0 2 x0 cosh Mul atan coth Add 5 x3 Mul cot Pow acoth x0 x0 Add x0 x5 
Add Mul cosh Mul atan coth Add 5 x3 Mul cot Pow acoth x0 x0 Add x0 x5 Mul Pow Mul x0 2 Add x0 -1 Add Mul x0 2 Mul Mul x0 2 log Mul x0 2 Mul Pow Mul x0 2 x0 Mul sinh Mul atan coth Add 5 x3 Mul cot Pow acoth x0 x0 Add x0 x5 Mul atan coth Add 5 x3 Add Mul Add x0 x5 Mul Mul -1 Pow csc Pow acoth x0 x0 2 Mul Pow acoth x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 log acoth x0 cot Pow acoth x0 x0 