Mul x0 Mul Pow acsch Pow Pow -5 x4 -4 x0 cosh exp x2 
Add Mul Pow acsch Pow Pow -5 x4 -4 x0 cosh exp x2 Mul x0 Mul cosh exp x2 Mul Pow acsch Pow Pow -5 x4 -4 Add x0 -1 Mul acsch Pow Pow -5 x4 -4 log acsch Pow Pow -5 x4 -4 