Pow acot Pow sqrt x2 asin Mul Mul asin x0 x0 4 -0.000976562500000000 
Mul Pow acot Pow sqrt x2 asin Mul Mul asin x0 x0 4 -1.00097656250000 Mul -0.000976562500000000 Mul -1 Mul Mul Pow sqrt x2 Add asin Mul Mul asin x0 x0 4 -1 Mul Mul sqrt x2 log sqrt x2 Mul Mul 4 Add Mul x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 asin x0 Pow sqrt Add 1 Mul -1 Mul Mul Mul asin x0 x0 4 Mul Mul asin x0 x0 4 -1 Pow Add 1 Mul Pow sqrt x2 asin Mul Mul asin x0 x0 4 Pow sqrt x2 asin Mul Mul asin x0 x0 4 -1 