acoth csc Pow acosh x4 Add x0 x0 
Mul Mul Mul Mul -1 cot Pow acosh x4 Add x0 x0 csc Pow acosh x4 Add x0 x0 Mul Pow acosh x4 Add Add x0 x0 -1 Mul Mul acosh x4 log acosh x4 2 Pow Add 1 Mul -1 Mul csc Pow acosh x4 Add x0 x0 csc Pow acosh x4 Add x0 x0 -1 