Pow x3 Pow Add x7 Pow Add pi x0 Mul sec x0 asin x0 x0 
Mul Pow x3 Add Pow Add x7 Pow Add pi x0 Mul sec x0 asin x0 x0 -1 Mul Mul x3 log x3 Mul Pow Add x7 Pow Add pi x0 Mul sec x0 asin x0 Add x0 -1 Add Mul x0 Mul Pow Add pi x0 Add Mul sec x0 asin x0 -1 Add Mul sec x0 asin x0 Mul Mul Add pi x0 log Add pi x0 Add Mul asin x0 Mul tan x0 sec x0 Mul sec x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Add x7 Pow Add pi x0 Mul sec x0 asin x0 log Add x7 Pow Add pi x0 Mul sec x0 asin x0 