Mul Pow Mul Mul x0 5 x7 asec x6 Mul Pow x0 x6 Add sqrt asec asech Mul pi x0 x0 
Add Mul Mul Pow x0 x6 Add sqrt asec asech Mul pi x0 x0 Mul Pow Mul Mul x0 5 x7 Add asec x6 -1 Mul asec x6 Mul x7 5 Mul Pow Mul Mul x0 5 x7 asec x6 Add Mul Add sqrt asec asech Mul pi x0 x0 Mul Pow x0 Add x6 -1 x6 Mul Pow x0 x6 Add Mul Pow Mul 2 sqrt asec asech Mul pi x0 -1 Mul Mul pi Pow Mul Mul Mul pi x0 Mul pi x0 sqrt Add 1 Mul -1 Pow Mul Mul pi x0 Mul pi x0 -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul asech Mul pi x0 asech Mul pi x0 -1 asech Mul pi x0 asech Mul pi x0 -1 1 