exp tan Add Pow Pow atanh x0 Add x6 x0 x0 x0 
Mul exp tan Add Pow Pow atanh x0 Add x6 x0 x0 x0 Mul Pow sec Add Pow Pow atanh x0 Add x6 x0 x0 x0 2 Add Mul Pow Pow atanh x0 Add x6 x0 Add x0 -1 Add Mul x0 Mul Pow atanh x0 Add Add x6 x0 -1 Add Mul Add x6 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 log atanh x0 Mul Pow atanh x0 Add x6 x0 log Pow atanh x0 Add x6 x0 1 