Mul Pow tan acos atanh Add x0 1 x7 x0 
Add Mul x0 Mul Pow tan acos atanh Add x0 1 Add x7 -1 Mul x7 Mul Pow sec acos atanh Add x0 1 2 Mul -1 Mul Pow Add 1 Mul -1 Mul Add x0 1 Add x0 1 -1 Pow sqrt Add 1 Mul -1 Mul atanh Add x0 1 atanh Add x0 1 -1 Pow tan acos atanh Add x0 1 x7 