Mul Pow Add acos acos x0 5 Add x1 x0 0.785398163397448 
Mul 0.785398163397448 Mul Pow Add acos acos x0 5 Add Add x1 x0 -1 Add Mul Add x1 x0 Mul -1 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acos x0 acos x0 -1 Mul Add acos acos x0 5 log Add acos acos x0 5 