Pow atanh x6 Add 1 Mul asec x6 Pow Add E x0 x0 
Mul Pow atanh x6 Add Add 1 Mul asec x6 Pow Add E x0 x0 -1 Mul Mul atanh x6 log atanh x6 Mul asec x6 Mul Pow Add E x0 Add x0 -1 Add x0 Mul Add E x0 log Add E x0 