sec Mul Pow Pow x0 pi pi Add Pow x0 sqrt Mul x1 asin x0 Mul x1 -4 
Mul Mul tan Mul Pow Pow x0 pi pi Add Pow x0 sqrt Mul x1 asin x0 Mul x1 -4 sec Mul Pow Pow x0 pi pi Add Pow x0 sqrt Mul x1 asin x0 Mul x1 -4 Add Mul Add Pow x0 sqrt Mul x1 asin x0 Mul x1 -4 Mul Pow Pow x0 pi Add pi -1 Mul pi Mul Pow x0 Add pi -1 pi Mul Pow Pow x0 pi pi Mul Pow x0 Add sqrt Mul x1 asin x0 -1 Add sqrt Mul x1 asin x0 Mul Mul x0 log x0 Mul Pow Mul 2 sqrt Mul x1 asin x0 -1 Mul x1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 