Pow x0 Mul asin x6 Pow Add Pow Add x0 Pow Mul x0 x6 sec Mul x6 x7 x0 -4 pi 
Mul Pow x0 Add Mul asin x6 Pow Add Pow Add x0 Pow Mul x0 x6 sec Mul x6 x7 x0 -4 pi -1 Add Mul asin x6 Pow Add Pow Add x0 Pow Mul x0 x6 sec Mul x6 x7 x0 -4 pi Mul Mul x0 log x0 Mul asin x6 Mul Pow Add Pow Add x0 Pow Mul x0 x6 sec Mul x6 x7 x0 -4 Add pi -1 Mul pi Mul Pow Add x0 Pow Mul x0 x6 sec Mul x6 x7 Add x0 -1 Add Mul x0 Add 1 Mul Pow Mul x0 x6 Add sec Mul x6 x7 -1 Mul sec Mul x6 x7 x6 Mul Add x0 Pow Mul x0 x6 sec Mul x6 x7 log Add x0 Pow Mul x0 x6 sec Mul x6 x7 