Mul x0 Pow x4 cosh log Pow acsch x6 Add x0 x0 
Add Pow x4 cosh log Pow acsch x6 Add x0 x0 Mul x0 Mul Pow x4 Add cosh log Pow acsch x6 Add x0 x0 -1 Mul Mul x4 log x4 Mul sinh log Pow acsch x6 Add x0 x0 Mul Mul Pow acsch x6 Add Add x0 x0 -1 Mul Mul acsch x6 log acsch x6 2 Pow Pow acsch x6 Add x0 x0 -1 