Mul csc csc Mul acoth x0 4 cosh Pow x5 x3 
Mul cosh Pow x5 x3 Mul Mul Mul -1 cot csc Mul acoth x0 4 csc csc Mul acoth x0 4 Mul Mul Mul -1 cot Mul acoth x0 4 csc Mul acoth x0 4 Mul 4 Pow Add 1 Mul -1 Mul x0 x0 -1 