Add x0 Add Mul Pow asech sqrt Pow acos x0 0.197395559849881 x0 3 x2 
Add 1 Mul 3 Mul Pow asech sqrt Pow acos x0 0.197395559849881 Add x0 -1 Add Mul x0 Mul Mul Pow Mul 2 sqrt Pow acos x0 0.197395559849881 -1 Mul Pow acos x0 -0.802604440150119 Mul 0.197395559849881 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul sqrt Pow acos x0 0.197395559849881 sqrt Pow acos x0 0.197395559849881 sqrt Add 1 Mul -1 Pow Mul sqrt Pow acos x0 0.197395559849881 sqrt Pow acos x0 0.197395559849881 -1 -1 Mul asech sqrt Pow acos x0 0.197395559849881 log asech sqrt Pow acos x0 0.197395559849881 