Add Pow x0 acoth Add Pow x3 -5 x1 Pow Add 3 Mul 3 Add 1 Mul -2 Add x7 x0 x7 
Add Mul Pow x0 Add acoth Add Pow x3 -5 x1 -1 acoth Add Pow x3 -5 x1 Mul Pow Add 3 Mul 3 Add 1 Mul -2 Add x7 x0 Add x7 -1 x7 