Pow Mul x0 Pow Add x0 acoth x0 Mul x5 pi x1 
Mul Pow Mul x0 Pow Add x0 acoth x0 Mul x5 pi Add x1 -1 Mul x1 Add Pow Add x0 acoth x0 Mul x5 pi Mul x0 Mul Pow Add x0 acoth x0 Add Mul x5 pi -1 Mul Mul x5 pi Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 