Mul Pow x0 pi Mul acsc Mul x0 x4 Pow x0 Pow x1 acos x0 
Add Mul Mul acsc Mul x0 x4 Pow x0 Pow x1 acos x0 Mul Pow x0 Add pi -1 pi Mul Pow x0 pi Add Mul Pow x0 Pow x1 acos x0 Mul -1 Mul x4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 x4 Mul x0 x4 -1 Mul x0 x4 Mul x0 x4 -1 Mul acsc Mul x0 x4 Mul Pow x0 Add Pow x1 acos x0 -1 Add Pow x1 acos x0 Mul Mul x0 log x0 Mul Pow x1 Add acos x0 -1 Mul Mul x1 log x1 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 