Add 4 Mul acoth x0 sin Pow Pow Mul acot Pow x5 2 Add Mul E x3 x0 sin x0 2 
Add Mul sin Pow Pow Mul acot Pow x5 2 Add Mul E x3 x0 sin x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul cos Pow Pow Mul acot Pow x5 2 Add Mul E x3 x0 sin x0 2 Mul Pow Mul acot Pow x5 2 Add Mul E x3 x0 sin x0 Mul 2 Mul Pow Mul acot Pow x5 2 Add Mul E x3 x0 Add sin x0 -1 Add Mul sin x0 acot Pow x5 2 Mul Mul Mul acot Pow x5 2 Add Mul E x3 x0 log Mul acot Pow x5 2 Add Mul E x3 x0 cos x0 