Pow acos Mul -4 Add -4 x0 Mul x0 Mul x0 acsc E 
Mul Pow acos Mul -4 Add -4 x0 Add Mul x0 Mul x0 acsc E -1 Add Mul Mul x0 Mul x0 acsc E Mul -1 Mul -4 Pow sqrt Add 1 Mul -1 Mul Mul -4 Add -4 x0 Mul -4 Add -4 x0 -1 Mul Mul acos Mul -4 Add -4 x0 log acos Mul -4 Add -4 x0 Add Mul x0 acsc E Mul x0 acsc E 