atanh Pow atan sec Add x0 3 x0 
Mul Mul Pow atan sec Add x0 3 Add x0 -1 Add Mul x0 Mul Mul tan Add x0 3 sec Add x0 3 Pow Add 1 Mul sec Add x0 3 sec Add x0 3 -1 Mul atan sec Add x0 3 log atan sec Add x0 3 Pow Add 1 Mul -1 Mul Pow atan sec Add x0 3 x0 Pow atan sec Add x0 3 x0 -1 