Add Add Mul x0 E pi Mul E Add acoth Pow x0 Mul Mul x3 x2 x7 1 
Add E Mul E Mul Mul Pow x0 Add Mul Mul x3 x2 x7 -1 Mul Mul x3 x2 x7 Pow Add 1 Mul -1 Mul Pow x0 Mul Mul x3 x2 x7 Pow x0 Mul Mul x3 x2 x7 -1 