Add Pow x0 atanh exp Pow Pow Mul Add x0 x0 E Add Add Mul Mul x1 x2 -4 Pow x0 x0 x0 x0 x1 
Mul Pow x0 Add atanh exp Pow Pow Mul Add x0 x0 E Add Add Mul Mul x1 x2 -4 Pow x0 x0 x0 x0 -1 Add atanh exp Pow Pow Mul Add x0 x0 E Add Add Mul Mul x1 x2 -4 Pow x0 x0 x0 x0 Mul Mul x0 log x0 Mul Mul exp Pow Pow Mul Add x0 x0 E Add Add Mul Mul x1 x2 -4 Pow x0 x0 x0 x0 Mul Pow Pow Mul Add x0 x0 E Add Add Mul Mul x1 x2 -4 Pow x0 x0 x0 Add x0 -1 Add Mul x0 Mul Pow Mul Add x0 x0 E Add Add Add Mul Mul x1 x2 -4 Pow x0 x0 x0 -1 Add Mul Add Add Mul Mul x1 x2 -4 Pow x0 x0 x0 Mul E 2 Mul Mul Mul Add x0 x0 E log Mul Add x0 x0 E Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 1 Mul Pow Mul Add x0 x0 E Add Add Mul Mul x1 x2 -4 Pow x0 x0 x0 log Pow Mul Add x0 x0 E Add Add Mul Mul x1 x2 -4 Pow x0 x0 x0 Pow Add 1 Mul -1 Mul exp Pow Pow Mul Add x0 x0 E Add Add Mul Mul x1 x2 -4 Pow x0 x0 x0 x0 exp Pow Pow Mul Add x0 x0 E Add Add Mul Mul x1 x2 -4 Pow x0 x0 x0 x0 -1 