Pow Add x0 x2 Pow x0 sqrt asech atanh tanh x5 
Mul Pow Add x0 x2 Add Pow x0 sqrt asech atanh tanh x5 -1 Add Pow x0 sqrt asech atanh tanh x5 Mul Mul Add x0 x2 log Add x0 x2 Mul Pow x0 Add sqrt asech atanh tanh x5 -1 sqrt asech atanh tanh x5 