sqrt Add Add x0 atan x4 Pow Mul 21780523381690483081216 x0 acos x6 
Mul Pow Mul 2 sqrt Add Add x0 atan x4 Pow Mul 21780523381690483081216 x0 acos x6 -1 Add 1 Mul Pow Mul 21780523381690483081216 x0 Add acos x6 -1 Mul acos x6 21780523381690483081216 