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