Add x0 Pow Pow sqrt x7 Add E Mul -1 Pow Pow x2 atanh x3 x3 x0 
Add 1 Mul Pow Pow sqrt x7 Add E Mul -1 Pow Pow x2 atanh x3 x3 Add x0 -1 Mul Pow sqrt x7 Add E Mul -1 Pow Pow x2 atanh x3 x3 log Pow sqrt x7 Add E Mul -1 Pow Pow x2 atanh x3 x3 