Pow sec E Add acos Add Add Add Mul Mul 2 Pow x0 2 Add x6 x6 x0 x0 2 x0 
Mul Pow sec E Add Add acos Add Add Add Mul Mul 2 Pow x0 2 Add x6 x6 x0 x0 2 x0 -1 Mul Mul sec E log sec E Add Mul -1 Mul Add Add Mul Add x6 x6 Mul 2 Mul x0 2 1 1 Pow sqrt Add 1 Mul -1 Mul Add Add Add Mul Mul 2 Pow x0 2 Add x6 x6 x0 x0 2 Add Add Add Mul Mul 2 Pow x0 2 Add x6 x6 x0 x0 2 -1 1 