Mul Mul asin x0 Pow Add Add x4 x0 atan pi acos acos acos Add Mul x0 x1 x0 x1 
Mul x1 Add Mul Pow Add Add x4 x0 atan pi acos acos acos Add Mul x0 x1 x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul asin x0 Mul Pow Add Add x4 x0 atan pi Add acos acos acos Add Mul x0 x1 x0 -1 Add acos acos acos Add Mul x0 x1 x0 Mul Mul Add Add x4 x0 atan pi log Add Add x4 x0 atan pi Mul -1 Mul Mul -1 Mul Mul -1 Mul Add x1 1 Pow sqrt Add 1 Mul -1 Mul Add Mul x0 x1 x0 Add Mul x0 x1 x0 -1 Pow sqrt Add 1 Mul -1 Mul acos Add Mul x0 x1 x0 acos Add Mul x0 x1 x0 -1 Pow sqrt Add 1 Mul -1 Mul acos acos Add Mul x0 x1 x0 acos acos Add Mul x0 x1 x0 -1 