Mul x0 Pow asec Add Mul Pow Add x0 3 x6 Pow x0 2 acot x7 log Add -3 x0 
Add Pow asec Add Mul Pow Add x0 3 x6 Pow x0 2 acot x7 log Add -3 x0 Mul x0 Mul Pow asec Add Mul Pow Add x0 3 x6 Pow x0 2 acot x7 Add log Add -3 x0 -1 Add Mul log Add -3 x0 Mul Add Mul Pow x0 2 Mul Pow Add x0 3 Add x6 -1 x6 Mul Pow Add x0 3 x6 Mul x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Mul Pow Add x0 3 x6 Pow x0 2 acot x7 Add Mul Pow Add x0 3 x6 Pow x0 2 acot x7 -1 Add Mul Pow Add x0 3 x6 Pow x0 2 acot x7 Add Mul Pow Add x0 3 x6 Pow x0 2 acot x7 -1 Mul Mul asec Add Mul Pow Add x0 3 x6 Pow x0 2 acot x7 log asec Add Mul Pow Add x0 3 x6 Pow x0 2 acot x7 Pow Add -3 x0 -1 