Mul Pow x1 Pow Mul Add x0 acoth x0 x0 x4 atanh Add Mul 5 Add -3 x0 x0 
Add Mul atanh Add Mul 5 Add -3 x0 x0 Mul Pow x1 Add Pow Mul Add x0 acoth x0 x0 x4 -1 Mul Mul x1 log x1 Mul Pow Mul Add x0 acoth x0 x0 Add x4 -1 Mul x4 Add Mul x0 Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 Add x0 acoth x0 Mul Pow x1 Pow Mul Add x0 acoth x0 x0 x4 Mul 6 Pow Add 1 Mul -1 Mul Add Mul 5 Add -3 x0 x0 Add Mul 5 Add -3 x0 x0 -1 