Add acoth Add x7 x0 Pow Mul Pow x0 x6 Mul Add x0 Add x0 x5 x4 2 
Add Pow Add 1 Mul -1 Mul Add x7 x0 Add x7 x0 -1 Mul Mul Pow x0 x6 Mul Add x0 Add x0 x5 x4 Mul 2 Add Mul Mul Add x0 Add x0 x5 x4 Mul Pow x0 Add x6 -1 x6 Mul Pow x0 x6 Mul x4 2 