sqrt Add Pow Mul Add x3 x0 x0 -3 acos Add 8165619676597685 Pow Add x0 asec pi Add Mul -2 x0 x7 
Mul Pow Mul 2 sqrt Add Pow Mul Add x3 x0 x0 -3 acos Add 8165619676597685 Pow Add x0 asec pi Add Mul -2 x0 x7 -1 Add Mul Pow Mul Add x3 x0 x0 4 Mul -3 Add x0 Add x3 x0 Mul -1 Mul Mul Pow Add x0 asec pi Add Add Mul -2 x0 x7 -1 Add Add Mul -2 x0 x7 Mul Mul Add x0 asec pi log Add x0 asec pi -2 Pow sqrt Add 1 Mul -1 Mul Add 8165619676597685 Pow Add x0 asec pi Add Mul -2 x0 x7 Add 8165619676597685 Pow Add x0 asec pi Add Mul -2 x0 x7 -1 