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