acot Pow acsch x2 Add Pow pi x4 csc cosh x0 
Mul -1 Mul Mul Pow acsch x2 Add Add Pow pi x4 csc cosh x0 -1 Mul Mul acsch x2 log acsch x2 Mul Mul Mul -1 cot cosh x0 csc cosh x0 sinh x0 Pow Add 1 Mul Pow acsch x2 Add Pow pi x4 csc cosh x0 Pow acsch x2 Add Pow pi x4 csc cosh x0 -1 