Mul 3 acoth Mul -1 Add Mul x0 x0 Pow Add Mul x0 exp x7 Add x3 x0 3 
Mul 3 Mul Mul -1 Add Add x0 x0 Mul Pow Add Mul x0 exp x7 Add x3 x0 2 Mul 3 Add exp x7 1 Pow Add 1 Mul -1 Mul Mul -1 Add Mul x0 x0 Pow Add Mul x0 exp x7 Add x3 x0 3 Mul -1 Add Mul x0 x0 Pow Add Mul x0 exp x7 Add x3 x0 3 -1 