Add x0 Mul Pow Add x0 Pow Mul x2 pi Mul Mul x7 x1 x0 x0 Add Mul 3 Add log Pow x0 acoth x4 x5 x4 
Add 1 Add Mul Add Mul 3 Add log Pow x0 acoth x4 x5 x4 Mul Pow Add x0 Pow Mul x2 pi Mul Mul x7 x1 x0 Add x0 -1 Add Mul x0 Add 1 Mul Pow Mul x2 pi Add Mul Mul x7 x1 x0 -1 Mul Mul Mul x2 pi log Mul x2 pi Mul x7 x1 Mul Add x0 Pow Mul x2 pi Mul Mul x7 x1 x0 log Add x0 Pow Mul x2 pi Mul Mul x7 x1 x0 Mul Pow Add x0 Pow Mul x2 pi Mul Mul x7 x1 x0 x0 Mul 3 Mul Mul Pow x0 Add acoth x4 -1 acoth x4 Pow Pow x0 acoth x4 -1 