Mul csc x0 Mul 4 Pow Pow acot Add -1 Pow 2 Mul x3 acoth x3 sin x0 x0 
Add Mul Mul 4 Pow Pow acot Add -1 Pow 2 Mul x3 acoth x3 sin x0 x0 Mul Mul -1 cot x0 csc x0 Mul csc x0 Mul 4 Mul Pow Pow acot Add -1 Pow 2 Mul x3 acoth x3 sin x0 Add x0 -1 Add Mul x0 Mul Pow acot Add -1 Pow 2 Mul x3 acoth x3 Add sin x0 -1 Mul Mul acot Add -1 Pow 2 Mul x3 acoth x3 log acot Add -1 Pow 2 Mul x3 acoth x3 cos x0 Mul Pow acot Add -1 Pow 2 Mul x3 acoth x3 sin x0 log Pow acot Add -1 Pow 2 Mul x3 acoth x3 sin x0 