csch csch Mul Mul x5 x7 Mul Mul pi acosh x0 x0 
Mul Mul Mul -1 coth csch Mul Mul x5 x7 Mul Mul pi acosh x0 x0 csch csch Mul Mul x5 x7 Mul Mul pi acosh x0 x0 Mul Mul Mul -1 coth Mul Mul x5 x7 Mul Mul pi acosh x0 x0 csch Mul Mul x5 x7 Mul Mul pi acosh x0 x0 Mul Mul x5 x7 Add Mul x0 Mul pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul pi acosh x0 