Mul Add Mul Add Add Add x1 x0 x0 x0 x0 acoth Mul Mul 2 x0 x0 Pow -1 x5 
Mul Pow -1 x5 Add Add Mul x0 3 Add Add Add x1 x0 x0 x0 Mul Add Mul x0 2 Mul 2 x0 Pow Add 1 Mul -1 Mul Mul Mul 2 x0 x0 Mul Mul 2 x0 x0 -1 