Pow acsc atan x7 log Pow Pow Mul x0 pi x0 Mul Add x0 x2 acoth x0 
Mul Pow acsc atan x7 Add log Pow Pow Mul x0 pi x0 Mul Add x0 x2 acoth x0 -1 Mul Mul acsc atan x7 log acsc atan x7 Mul Mul Pow Pow Mul x0 pi x0 Add Mul Add x0 x2 acoth x0 -1 Add Mul Mul Add x0 x2 acoth x0 Mul Pow Mul x0 pi Add x0 -1 Add Mul x0 pi Mul Mul x0 pi log Mul x0 pi Mul Mul Pow Mul x0 pi x0 log Pow Mul x0 pi x0 Add acoth x0 Mul Add x0 x2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Pow Pow Mul x0 pi x0 Mul Add x0 x2 acoth x0 -1 