Mul Pow Add Mul x0 pi 2 Mul asin x0 1.76274717403909 -4 
Mul -4 Mul Pow Add Mul x0 pi 2 Add Mul asin x0 1.76274717403909 -1 Add Mul Mul asin x0 1.76274717403909 pi Mul Mul Add Mul x0 pi 2 log Add Mul x0 pi 2 Mul 1.76274717403909 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 