Mul Add x3 x6 Mul x0 acoth Add Pow Add x7 x0 x0 x5 
Mul Add x3 x6 Add acoth Add Pow Add x7 x0 x0 x5 Mul x0 Mul Mul Pow Add x7 x0 Add x0 -1 Add x0 Mul Add x7 x0 log Add x7 x0 Pow Add 1 Mul -1 Mul Add Pow Add x7 x0 x0 x5 Add Pow Add x7 x0 x0 x5 -1 