asech exp Add x1 Pow Mul x0 Mul x2 sqrt pi Add x5 x0 
Mul Mul exp Add x1 Pow Mul x0 Mul x2 sqrt pi Add x5 x0 Mul Pow Mul x0 Mul x2 sqrt pi Add Add x5 x0 -1 Add Mul Add x5 x0 Mul x2 sqrt pi Mul Mul x0 Mul x2 sqrt pi log Mul x0 Mul x2 sqrt pi Pow Mul Mul exp Add x1 Pow Mul x0 Mul x2 sqrt pi Add x5 x0 exp Add x1 Pow Mul x0 Mul x2 sqrt pi Add x5 x0 sqrt Add 1 Mul -1 Pow Mul exp Add x1 Pow Mul x0 Mul x2 sqrt pi Add x5 x0 exp Add x1 Pow Mul x0 Mul x2 sqrt pi Add x5 x0 -1 -1 