Mul Add x4 Mul Add x0 Pow pi exp x1 acoth x0 Pow Mul x6 x0 x0 
Add Mul Pow Mul x6 x0 x0 Add acoth x0 Mul Add x0 Pow pi exp x1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Add x4 Mul Add x0 Pow pi exp x1 acoth x0 Mul Pow Mul x6 x0 Add x0 -1 Add Mul x0 x6 Mul Mul x6 x0 log Mul x6 x0 