Mul x1 Mul Mul x4 Pow acosh x0 -1 Mul Add x0 Pow Pow csch x4 x0 pi asech pi 
Mul x1 Add Mul Mul Add x0 Pow Pow csch x4 x0 pi asech pi Mul x4 Mul Pow acosh x0 2 Mul -1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul x4 Pow acosh x0 -1 Mul asech pi Add 1 Mul Pow Pow csch x4 x0 Add pi -1 Mul pi Mul Pow csch x4 Add x0 -1 Mul csch x4 log csch x4 