Mul Add x6 x0 asech tan Mul Add pi x0 Mul Pow x0 x3 x0 
Add asech tan Mul Add pi x0 Mul Pow x0 x3 x0 Mul Add x6 x0 Mul Mul Pow sec Mul Add pi x0 Mul Pow x0 x3 x0 2 Add Mul Pow x0 x3 x0 Mul Add pi x0 Add Mul x0 Mul Pow x0 Add x3 -1 x3 Pow x0 x3 Pow Mul Mul tan Mul Add pi x0 Mul Pow x0 x3 x0 tan Mul Add pi x0 Mul Pow x0 x3 x0 sqrt Add 1 Mul -1 Pow Mul tan Mul Add pi x0 Mul Pow x0 x3 x0 tan Mul Add pi x0 Mul Pow x0 x3 x0 -1 -1 