Mul x7 Mul Add x2 Mul Mul -4 x7 acoth Mul 2 Pow Add Mul sqrt x6 3 x1 x0 -4 
Mul x7 Mul -4 Mul Mul -4 x7 Mul Mul 2 Mul Pow Add Mul sqrt x6 3 x1 Add x0 -1 Mul Add Mul sqrt x6 3 x1 log Add Mul sqrt x6 3 x1 Pow Add 1 Mul -1 Mul Mul 2 Pow Add Mul sqrt x6 3 x1 x0 Mul 2 Pow Add Mul sqrt x6 3 x1 x0 -1 