Add Mul asech Add Pow x2 pi x0 x0 Add Mul Add 1.60943791243410 x0 x5 x0 
Add Add Mul x0 Pow Mul Mul Add Pow x2 pi x0 Add Pow x2 pi x0 sqrt Add 1 Mul -1 Pow Mul Add Pow x2 pi x0 Add Pow x2 pi x0 -1 -1 asech Add Pow x2 pi x0 Add x5 1 