Mul x0 atan Mul Pow atanh x1 x0 Add sqrt Pow x2 x0 x0 
Add atan Mul Pow atanh x1 x0 Add sqrt Pow x2 x0 x0 Mul x0 Mul Add Mul Add sqrt Pow x2 x0 x0 Mul Pow atanh x1 Add x0 -1 Mul atanh x1 log atanh x1 Mul Pow atanh x1 x0 Add Mul Pow Mul 2 sqrt Pow x2 x0 -1 Mul Pow x2 Add x0 -1 Mul x2 log x2 1 Pow Add 1 Mul Mul Pow atanh x1 x0 Add sqrt Pow x2 x0 x0 Mul Pow atanh x1 x0 Add sqrt Pow x2 x0 x0 -1 