atan asin sqrt Mul x5 Add Mul Add -2 x0 sqrt x5 sin Mul pi -4 
Mul Mul Mul Pow Mul 2 sqrt Mul x5 Add Mul Add -2 x0 sqrt x5 sin Mul pi -4 -1 Mul x5 sqrt x5 Pow sqrt Add 1 Mul -1 Mul sqrt Mul x5 Add Mul Add -2 x0 sqrt x5 sin Mul pi -4 sqrt Mul x5 Add Mul Add -2 x0 sqrt x5 sin Mul pi -4 -1 Pow Add 1 Mul asin sqrt Mul x5 Add Mul Add -2 x0 sqrt x5 sin Mul pi -4 asin sqrt Mul x5 Add Mul Add -2 x0 sqrt x5 sin Mul pi -4 -1 