Add 2 sin Pow Mul asech Pow atan Add acos x0 1 x0 x4 x3 
Mul cos Pow Mul asech Pow atan Add acos x0 1 x0 x4 x3 Mul Pow Mul asech Pow atan Add acos x0 1 x0 x4 Add x3 -1 Mul x3 Mul x4 Mul Mul Pow atan Add acos x0 1 Add x0 -1 Add Mul x0 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Add acos x0 1 Add acos x0 1 -1 Mul atan Add acos x0 1 log atan Add acos x0 1 Pow Mul Mul Pow atan Add acos x0 1 x0 Pow atan Add acos x0 1 x0 sqrt Add 1 Mul -1 Pow Mul Pow atan Add acos x0 1 x0 Pow atan Add acos x0 1 x0 -1 -1 