Add x0 Pow Add atanh Pow x0 x6 Add Add x0 Add x0 x4 atanh x6 Add x0 sqrt x0 
Add 1 Mul Pow Add atanh Pow x0 x6 Add Add x0 Add x0 x4 atanh x6 Add Add x0 sqrt x0 -1 Add Mul Add x0 sqrt x0 Add Mul Mul Pow x0 Add x6 -1 x6 Pow Add 1 Mul -1 Mul Pow x0 x6 Pow x0 x6 -1 2 Mul Mul Add atanh Pow x0 x6 Add Add x0 Add x0 x4 atanh x6 log Add atanh Pow x0 x6 Add Add x0 Add x0 x4 atanh x6 Add 1 Pow Mul 2 sqrt x0 -1 