acot Pow acsch acosh x7 Add x0 x0 
Mul -1 Mul Mul Pow acsch acosh x7 Add Add x0 x0 -1 Mul Mul acsch acosh x7 log acsch acosh x7 2 Pow Add 1 Mul Pow acsch acosh x7 Add x0 x0 Pow acsch acosh x7 Add x0 x0 -1 