Mul csc log x0 Add Pow cot Mul 2 exp Pow Pow x6 Pow Mul x0 acoth E x0 atan x1 x0 -1 
Add Mul Add Pow cot Mul 2 exp Pow Pow x6 Pow Mul x0 acoth E x0 atan x1 x0 -1 Mul Mul Mul -1 cot log x0 csc log x0 Pow x0 -1 Mul csc log x0 Mul Pow cot Mul 2 exp Pow Pow x6 Pow Mul x0 acoth E x0 atan x1 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csc Mul 2 exp Pow Pow x6 Pow Mul x0 acoth E x0 atan x1 2 Mul 2 Mul exp Pow Pow x6 Pow Mul x0 acoth E x0 atan x1 Mul Pow Pow x6 Pow Mul x0 acoth E x0 Add atan x1 -1 Mul atan x1 Mul Pow x6 Add Pow Mul x0 acoth E x0 -1 Mul Mul x6 log x6 Mul Pow Mul x0 acoth E Add x0 -1 Add Mul x0 acoth E Mul Mul x0 acoth E log Mul x0 acoth E Mul cot Mul 2 exp Pow Pow x6 Pow Mul x0 acoth E x0 atan x1 log cot Mul 2 exp Pow Pow x6 Pow Mul x0 acoth E x0 atan x1 