Mul Pow acosh x4 x0 Add Add 2 Pow x0 asin x2 csch x0 
Add Mul Add Add 2 Pow x0 asin x2 csch x0 Mul Pow acosh x4 Add x0 -1 Mul acosh x4 log acosh x4 Mul Pow acosh x4 x0 Add Mul Pow x0 Add asin x2 -1 asin x2 Mul Mul -1 coth x0 csch x0 