Add Pow acoth Mul Mul x0 x0 pi Pow x0 x1 Add x0 Mul x0 Add Mul Mul x0 x0 x7 atan pi 
Add Mul Pow acoth Mul Mul x0 x0 pi Add Pow x0 x1 -1 Add Mul Pow x0 x1 Mul Mul pi Add x0 x0 Pow Add 1 Mul -1 Mul Mul Mul x0 x0 pi Mul Mul x0 x0 pi -1 Mul Mul acoth Mul Mul x0 x0 pi log acoth Mul Mul x0 x0 pi Mul Pow x0 Add x1 -1 x1 Add 1 Add Add Mul Mul x0 x0 x7 atan pi Mul x0 Mul x7 Add x0 x0 