Pow Mul x2 exp x0 Add Mul Add x0 Pow x0 atanh x7 x0 Pow x2 Mul Mul x0 x0 -4 
Mul Pow Mul x2 exp x0 Add Add Mul Add x0 Pow x0 atanh x7 x0 Pow x2 Mul Mul x0 x0 -4 -1 Add Mul Add Mul Add x0 Pow x0 atanh x7 x0 Pow x2 Mul Mul x0 x0 -4 Mul x2 exp x0 Mul Mul Mul x2 exp x0 log Mul x2 exp x0 Add Add Mul x0 Add 1 Mul Pow x0 Add atanh x7 -1 atanh x7 Add x0 Pow x0 atanh x7 Mul Pow x2 Add Mul Mul x0 x0 -4 -1 Mul Mul x2 log x2 Mul -4 Add x0 x0 