asec Mul x0 sec Mul 4 Mul x1 pi 
Mul sec Mul 4 Mul x1 pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 sec Mul 4 Mul x1 pi Mul x0 sec Mul 4 Mul x1 pi -1 Mul x0 sec Mul 4 Mul x1 pi Mul x0 sec Mul 4 Mul x1 pi -1 