Pow Add atan Add Pow Mul Mul Add x0 x0 Add asech Add pi x0 pi x0 asech x0 Add x3 -1 x1 x1 
Mul Pow Add atan Add Pow Mul Mul Add x0 x0 Add asech Add pi x0 pi x0 asech x0 Add x3 -1 x1 Add x1 -1 Mul x1 Mul Mul Pow Mul Mul Add x0 x0 Add asech Add pi x0 pi x0 Add asech x0 -1 Add Mul asech x0 Add Mul x0 Add Mul Add asech Add pi x0 pi 2 Mul Add x0 x0 Pow Mul Mul Add pi x0 Add pi x0 sqrt Add 1 Mul -1 Pow Mul Add pi x0 Add pi x0 -1 -1 Mul Add x0 x0 Add asech Add pi x0 pi Mul Mul Mul Mul Add x0 x0 Add asech Add pi x0 pi x0 log Mul Mul Add x0 x0 Add asech Add pi x0 pi x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul Add Pow Mul Mul Add x0 x0 Add asech Add pi x0 pi x0 asech x0 Add x3 -1 Add Pow Mul Mul Add x0 x0 Add asech Add pi x0 pi x0 asech x0 Add x3 -1 -1 