Mul Mul Add x0 Add atanh x0 Add x6 acoth Mul Pow -2 x6 Add x0 Add Mul 5 x0 -3 x1 x0 
Add Mul x0 Mul x1 Add 1 Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow -2 x6 6 Pow Add 1 Mul -1 Mul Mul Pow -2 x6 Add x0 Add Mul 5 x0 -3 Mul Pow -2 x6 Add x0 Add Mul 5 x0 -3 -1 Mul Add x0 Add atanh x0 Add x6 acoth Mul Pow -2 x6 Add x0 Add Mul 5 x0 -3 x1 