Mul x0 Mul Mul Pow Mul x0 x0 cos Pow x3 coth x1 x2 E 
Add Mul Mul Pow Mul x0 x0 cos Pow x3 coth x1 x2 E Mul x0 Mul E Mul x2 Mul Pow Mul x0 x0 Add cos Pow x3 coth x1 -1 Mul cos Pow x3 coth x1 Add x0 x0 