Add Add x0 Mul Add Pow x0 x0 Mul -4 x0 Mul Mul Add Add x0 1 x1 Pow E E acoth x3 x0 
Add Add 1 Add Mul Mul Mul Add Add x0 1 x1 Pow E E acoth x3 Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 -4 Mul Add Pow x0 x0 Mul -4 x0 Mul acoth x3 Pow E E 1 