sec Add Mul x0 Pow sec Add x2 log atanh x0 x2 E 
Mul Mul tan Add Mul x0 Pow sec Add x2 log atanh x0 x2 E sec Add Mul x0 Pow sec Add x2 log atanh x0 x2 E Add Pow sec Add x2 log atanh x0 x2 Mul x0 Mul Pow sec Add x2 log atanh x0 Add x2 -1 Mul x2 Mul Mul tan Add x2 log atanh x0 sec Add x2 log atanh x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow atanh x0 -1 