Mul x7 Pow Add atan Pow x0 atanh x3 -2 Add x3 x0 
Mul x7 Mul Pow Add atan Pow x0 atanh x3 -2 Add Add x3 x0 -1 Add Mul Add x3 x0 Mul Mul Pow x0 Add atanh x3 -1 atanh x3 Pow Add 1 Mul Pow x0 atanh x3 Pow x0 atanh x3 -1 Mul Add atan Pow x0 atanh x3 -2 log Add atan Pow x0 atanh x3 -2 