Pow atanh sec Add x0 x0 Mul x0 atan Add Add x7 2 x7 
Mul Pow atanh sec Add x0 x0 Add Mul x0 atan Add Add x7 2 x7 -1 Add Mul Mul x0 atan Add Add x7 2 x7 Mul Mul Mul tan Add x0 x0 sec Add x0 x0 2 Pow Add 1 Mul -1 Mul sec Add x0 x0 sec Add x0 x0 -1 Mul Mul atanh sec Add x0 x0 log atanh sec Add x0 x0 atan Add Add x7 2 x7 