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