cot Pow Pow x4 acoth x0 Mul 3 Add Mul x7 x4 -2 
Mul Mul -1 Pow csc Pow Pow x4 acoth x0 Mul 3 Add Mul x7 x4 -2 2 Mul Pow Pow x4 acoth x0 Add Mul 3 Add Mul x7 x4 -2 -1 Mul Mul 3 Add Mul x7 x4 -2 Mul Pow x4 Add acoth x0 -1 Mul Mul x4 log x4 Pow Add 1 Mul -1 Mul x0 x0 -1 