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