Add Pow acot Pow Mul x0 x0 Pow atan coth x4 x5 Mul cos Pow Mul Mul x2 x0 x0 x0 x0 -4 
Mul Pow acot Pow Mul x0 x0 Pow atan coth x4 x5 Add Mul cos Pow Mul Mul x2 x0 x0 x0 x0 -1 Add Mul Mul cos Pow Mul Mul x2 x0 x0 x0 x0 Mul -1 Mul Mul Pow Mul x0 x0 Add Pow atan coth x4 x5 -1 Mul Pow atan coth x4 x5 Add x0 x0 Pow Add 1 Mul Pow Mul x0 x0 Pow atan coth x4 x5 Pow Mul x0 x0 Pow atan coth x4 x5 -1 Mul Mul acot Pow Mul x0 x0 Pow atan coth x4 x5 log acot Pow Mul x0 x0 Pow atan coth x4 x5 Add Mul x0 Mul Mul -1 sin Pow Mul Mul x2 x0 x0 x0 Mul Pow Mul Mul x2 x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 x2 Mul x2 x0 Mul Mul Mul x2 x0 x0 log Mul Mul x2 x0 x0 cos Pow Mul Mul x2 x0 x0 x0 