Mul 4 acoth acoth Add 2 Add x0 Add x0 Pow x0 x7 
Mul 4 Mul Mul Add 1 Add 1 Mul Pow x0 Add x7 -1 x7 Pow Add 1 Mul -1 Mul Add 2 Add x0 Add x0 Pow x0 x7 Add 2 Add x0 Add x0 Pow x0 x7 -1 Pow Add 1 Mul -1 Mul acoth Add 2 Add x0 Add x0 Pow x0 x7 acoth Add 2 Add x0 Add x0 Pow x0 x7 -1 