Add Add x0 Mul Mul Add Pow Pow x6 x0 x4 Add x0 x0 x0 x0 Mul sqrt x7 sec atan acot x0 
Add Add 1 Add Mul x0 Add Mul x0 Add Mul Pow Pow x6 x0 Add x4 -1 Mul x4 Mul Pow x6 Add x0 -1 Mul x6 log x6 2 Add Pow Pow x6 x0 x4 Add x0 x0 Mul Add Pow Pow x6 x0 x4 Add x0 x0 x0 Mul sqrt x7 Mul Mul tan atan acot x0 sec atan acot x0 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul acot x0 acot x0 -1 