Pow Pow Pow x0 atanh x2 -1 x0 
Mul Pow Pow Pow x0 atanh x2 -1 Add x0 -1 Add Mul x0 Mul Pow Pow x0 atanh x2 2 Mul -1 Mul Pow x0 Add atanh x2 -1 atanh x2 Mul Pow Pow x0 atanh x2 -1 log Pow Pow x0 atanh x2 -1 