Pow Pow Mul Pow atan x0 x0 Mul x0 Add x0 Add x7 x0 Add Add x0 x4 Pow Add x6 acoth pi Pow x0 x2 x0 
Mul Pow Pow Mul Pow atan x0 x0 Mul x0 Add x0 Add x7 x0 Add Add x0 x4 Pow Add x6 acoth pi Pow x0 x2 Add x0 -1 Add Mul x0 Mul Pow Mul Pow atan x0 x0 Mul x0 Add x0 Add x7 x0 Add Add Add x0 x4 Pow Add x6 acoth pi Pow x0 x2 -1 Add Mul Add Add x0 x4 Pow Add x6 acoth pi Pow x0 x2 Add Mul Mul x0 Add x0 Add x7 x0 Mul Pow atan x0 Add x0 -1 Add Mul x0 Pow Add 1 Mul x0 x0 -1 Mul atan x0 log atan x0 Mul Pow atan x0 x0 Add Add x0 Add x7 x0 Mul x0 2 Mul Mul Mul Pow atan x0 x0 Mul x0 Add x0 Add x7 x0 log Mul Pow atan x0 x0 Mul x0 Add x0 Add x7 x0 Add 1 Mul Pow Add x6 acoth pi Add Pow x0 x2 -1 Mul Mul Add x6 acoth pi log Add x6 acoth pi Mul Pow x0 Add x2 -1 x2 Mul Pow Mul Pow atan x0 x0 Mul x0 Add x0 Add x7 x0 Add Add x0 x4 Pow Add x6 acoth pi Pow x0 x2 log Pow Mul Pow atan x0 x0 Mul x0 Add x0 Add x7 x0 Add Add x0 x4 Pow Add x6 acoth pi Pow x0 x2 