Mul Pow sec acot Add Add sec Add x0 1 x0 -2 Add -5 x0 Pow x5 x7 
Mul Pow x5 x7 Mul Pow sec acot Add Add sec Add x0 1 x0 -2 Add Add -5 x0 -1 Add Mul Add -5 x0 Mul Mul tan acot Add Add sec Add x0 1 x0 -2 sec acot Add Add sec Add x0 1 x0 -2 Mul -1 Mul Add Mul tan Add x0 1 sec Add x0 1 1 Pow Add 1 Mul Add Add sec Add x0 1 x0 -2 Add Add sec Add x0 1 x0 -2 -1 Mul sec acot Add Add sec Add x0 1 x0 -2 log sec acot Add Add sec Add x0 1 x0 -2 