acosh Mul Mul x0 acsch x6 Pow Mul coth x7 pi x0 
Mul Add Mul Pow Mul coth x7 pi x0 acsch x6 Mul Mul x0 acsch x6 Mul Pow Mul coth x7 pi Add x0 -1 Mul Mul coth x7 pi log Mul coth x7 pi Pow Mul sqrt Add Mul Mul x0 acsch x6 Pow Mul coth x7 pi x0 -1 sqrt Add 1 Mul Mul x0 acsch x6 Pow Mul coth x7 pi x0 -1 