asec Mul x0 Pow Pow Mul x4 pi x0 x1 
Mul Add Pow Pow Mul x4 pi x0 x1 Mul x0 Mul Pow Pow Mul x4 pi x0 Add x1 -1 Mul x1 Mul Pow Mul x4 pi Add x0 -1 Mul Mul x4 pi log Mul x4 pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 Pow Pow Mul x4 pi x0 x1 Mul x0 Pow Pow Mul x4 pi x0 x1 -1 Mul x0 Pow Pow Mul x4 pi x0 x1 Mul x0 Pow Pow Mul x4 pi x0 x1 -1 