Mul x0 Mul coth x5 Pow exp x0 Mul E 0.291926581726429 
Add Mul coth x5 Pow exp x0 Mul E 0.291926581726429 Mul x0 Mul coth x5 Mul Pow exp x0 Add Mul E 0.291926581726429 -1 Mul Mul E 0.291926581726429 exp x0 