Add -3 Pow Pow x0 sqrt Mul Mul Mul 4 csch x0 sin x1 Mul x3 Mul x0 4 Add 2 Pow x6 Mul x0 acot x0 
Mul Pow Pow x0 sqrt Mul Mul Mul 4 csch x0 sin x1 Mul x3 Mul x0 4 Add Add 2 Pow x6 Mul x0 acot x0 -1 Add Mul Add 2 Pow x6 Mul x0 acot x0 Mul Pow x0 Add sqrt Mul Mul Mul 4 csch x0 sin x1 Mul x3 Mul x0 4 -1 Add sqrt Mul Mul Mul 4 csch x0 sin x1 Mul x3 Mul x0 4 Mul Mul x0 log x0 Mul Pow Mul 2 sqrt Mul Mul Mul 4 csch x0 sin x1 Mul x3 Mul x0 4 -1 Add Mul Mul x3 Mul x0 4 Mul sin x1 Mul 4 Mul Mul -1 coth x0 csch x0 Mul Mul Mul 4 csch x0 sin x1 Mul x3 4 Mul Mul Pow x0 sqrt Mul Mul Mul 4 csch x0 sin x1 Mul x3 Mul x0 4 log Pow x0 sqrt Mul Mul Mul 4 csch x0 sin x1 Mul x3 Mul x0 4 Mul Pow x6 Add Mul x0 acot x0 -1 Mul Mul x6 log x6 Add acot x0 Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 