asech Add Pow 3 Add Add exp sqrt x3 pi x0 Pow x0 x1 
Mul Add Mul Pow 3 Add Add Add exp sqrt x3 pi x0 -1 4.09861228866811 Mul Pow x0 Add x1 -1 x1 Pow Mul Mul Add Pow 3 Add Add exp sqrt x3 pi x0 Pow x0 x1 Add Pow 3 Add Add exp sqrt x3 pi x0 Pow x0 x1 sqrt Add 1 Mul -1 Pow Mul Add Pow 3 Add Add exp sqrt x3 pi x0 Pow x0 x1 Add Pow 3 Add Add exp sqrt x3 pi x0 Pow x0 x1 -1 -1 