Mul acsc x7 csch Add x0 Pow x0 Pow x0 acosh pi 
Mul acsc x7 Mul Mul Mul -1 coth Add x0 Pow x0 Pow x0 acosh pi csch Add x0 Pow x0 Pow x0 acosh pi Add 1 Mul Pow x0 Add Pow x0 acosh pi -1 Add Pow x0 acosh pi Mul Mul x0 log x0 Mul Pow x0 Add acosh pi -1 acosh pi 