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