Pow Mul asec x4 Add x0 x7 log atanh x0 
Mul Pow Mul asec x4 Add x0 x7 Add log atanh x0 -1 Add Mul log atanh x0 asec x4 Mul Mul Mul asec x4 Add x0 x7 log Mul asec x4 Add x0 x7 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow atanh x0 -1 