Mul Mul Mul x0 x7 Add 0.850918128239322 sec x1 Mul x2 acot Pow Add x0 pi asec x0 
Add Mul Mul x2 acot Pow Add x0 pi asec x0 Mul Add 0.850918128239322 sec x1 x7 Mul Mul Mul x0 x7 Add 0.850918128239322 sec x1 Mul x2 Mul -1 Mul Mul Pow Add x0 pi Add asec x0 -1 Add asec x0 Mul Mul Add x0 pi log Add x0 pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul Pow Add x0 pi asec x0 Pow Add x0 pi asec x0 -1 