Add Pow Mul Add Add Mul Mul Mul 64 x6 Add x0 acoth x0 x0 atan exp x0 x0 4 x0 x7 
Mul Pow Mul Add Add Mul Mul Mul 64 x6 Add x0 acoth x0 x0 atan exp x0 x0 4 Add x0 -1 Add Mul x0 Mul 4 Add Add Add Mul x0 Mul Mul 64 x6 Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul 64 x6 Add x0 acoth x0 Mul exp x0 Pow Add 1 Mul exp x0 exp x0 -1 1 Mul Mul Add Add Mul Mul Mul 64 x6 Add x0 acoth x0 x0 atan exp x0 x0 4 log Mul Add Add Mul Mul Mul 64 x6 Add x0 acoth x0 x0 atan exp x0 x0 4 