Mul exp x0 Pow Pow sec Add acosh exp Pow coth x2 exp x1 -1 x6 x0 
Add Mul Pow Pow sec Add acosh exp Pow coth x2 exp x1 -1 x6 x0 exp x0 Mul exp x0 Mul Pow Pow sec Add acosh exp Pow coth x2 exp x1 -1 x6 Add x0 -1 Mul Pow sec Add acosh exp Pow coth x2 exp x1 -1 x6 log Pow sec Add acosh exp Pow coth x2 exp x1 -1 x6 