Add Mul x0 x6 Pow Add Mul Mul Add x3 x3 -2 x0 Add Mul Add 5 x0 E E acoth x0 
Add x6 Mul Pow Add Mul Mul Add x3 x3 -2 x0 Add Mul Add 5 x0 E E Add acoth x0 -1 Add Mul acoth x0 Add Mul Add x3 x3 -2 E Mul Mul Add Mul Mul Add x3 x3 -2 x0 Add Mul Add 5 x0 E E log Add Mul Mul Add x3 x3 -2 x0 Add Mul Add 5 x0 E E Pow Add 1 Mul -1 Mul x0 x0 -1 