Pow Mul Pow Pow x0 Pow x0 atanh x7 3 x7 7 
Mul Pow Mul Pow Pow x0 Pow x0 atanh x7 3 x7 6 Mul 7 Mul x7 Mul Pow Pow x0 Pow x0 atanh x7 2 Mul 3 Mul Pow x0 Add Pow x0 atanh x7 -1 Add Pow x0 atanh x7 Mul Mul x0 log x0 Mul Pow x0 Add atanh x7 -1 atanh x7 