Add Pow Pow Mul Pow x0 Mul Mul sin acoth x0 x4 x0 sin x1 Mul x0 Mul x0 Pow coth E x0 E pi 
Mul Pow Pow Mul Pow x0 Mul Mul sin acoth x0 x4 x0 sin x1 Mul x0 Mul x0 Pow coth E x0 Add E -1 Mul E Mul Pow Mul Pow x0 Mul Mul sin acoth x0 x4 x0 sin x1 Add Mul x0 Mul x0 Pow coth E x0 -1 Add Mul Mul x0 Mul x0 Pow coth E x0 Mul sin x1 Mul Pow x0 Add Mul Mul sin acoth x0 x4 x0 -1 Add Mul Mul sin acoth x0 x4 x0 Mul Mul x0 log x0 Add Mul x0 Mul x4 Mul cos acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul sin acoth x0 x4 Mul Mul Mul Pow x0 Mul Mul sin acoth x0 x4 x0 sin x1 log Mul Pow x0 Mul Mul sin acoth x0 x4 x0 sin x1 Add Mul x0 Pow coth E x0 Mul x0 Add Pow coth E x0 Mul x0 Mul Pow coth E Add x0 -1 Mul coth E log coth E 