Mul x0 Pow Pow Add Mul Mul x0 x0 4 acoth x0 2 -3 
Add Pow Pow Add Mul Mul x0 x0 4 acoth x0 2 -3 Mul x0 Mul Pow Pow Add Mul Mul x0 x0 4 acoth x0 2 4 Mul -3 Mul Add Mul Mul x0 x0 4 acoth x0 Mul 2 Add Mul 4 Add x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 