Mul x0 Add acot Add Mul x7 x1 Add x2 pi Pow asin Mul x0 x3 Pow x0 -0.756802495307928 
Add Add acot Add Mul x7 x1 Add x2 pi Pow asin Mul x0 x3 Pow x0 -0.756802495307928 Mul x0 Mul Pow asin Mul x0 x3 Add Pow x0 -0.756802495307928 -1 Add Mul Pow x0 -0.756802495307928 Mul x3 Pow sqrt Add 1 Mul -1 Mul Mul x0 x3 Mul x0 x3 -1 Mul Mul asin Mul x0 x3 log asin Mul x0 x3 Mul Pow x0 -1.75680249530793 -0.756802495307928 