Add Add x0 Add acoth Add Mul x0 x0 Mul -4 x0 x0 Pow Add x6 -4 Mul x0 16 
Add Add 1 Add Mul Add Add x0 x0 -4 Pow Add 1 Mul -1 Mul Add Mul x0 x0 Mul -4 x0 Add Mul x0 x0 Mul -4 x0 -1 1 Mul Pow Add x6 -4 Add Mul x0 16 -1 Mul Mul Add x6 -4 log Add x6 -4 16 