Pow atan Add x0 Pow x1 sqrt Mul Mul E x0 log sec x5 pi 
Mul Pow atan Add x0 Pow x1 sqrt Mul Mul E x0 log sec x5 Add pi -1 Mul pi Mul Add 1 Mul Pow x1 Add sqrt Mul Mul E x0 log sec x5 -1 Mul Mul x1 log x1 Mul Pow Mul 2 sqrt Mul Mul E x0 log sec x5 -1 Mul log sec x5 E Pow Add 1 Mul Add x0 Pow x1 sqrt Mul Mul E x0 log sec x5 Add x0 Pow x1 sqrt Mul Mul E x0 log sec x5 -1 