asech exp Add x0 Add Add 4 pi x1 
Mul exp Add x0 Add Add 4 pi x1 Pow Mul Mul exp Add x0 Add Add 4 pi x1 exp Add x0 Add Add 4 pi x1 sqrt Add 1 Mul -1 Pow Mul exp Add x0 Add Add 4 pi x1 exp Add x0 Add Add 4 pi x1 -1 -1 