Pow Pow x3 E Pow Add 0.457657554360286 acos x0 x3 
Mul Pow Pow x3 E Add Pow Add 0.457657554360286 acos x0 x3 -1 Mul Mul Pow x3 E log Pow x3 E Mul Pow Add 0.457657554360286 acos x0 Add x3 -1 Mul x3 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 