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