Add Add Pow Mul -4 x7 acoth x0 Mul x0 Add sqrt Mul x2 -5 atan Add x0 csc x1 x0 
Add Add Mul Pow Mul -4 x7 Add acoth x0 -1 Mul Mul Mul -4 x7 log Mul -4 x7 Pow Add 1 Mul -1 Mul x0 x0 -1 Add Add sqrt Mul x2 -5 atan Add x0 csc x1 Mul x0 Pow Add 1 Mul Add x0 csc x1 Add x0 csc x1 -1 1 