Mul x0 Mul Add x0 x2 log Mul Mul x0 pi Add x0 asech x0 
Add Mul Add x0 x2 log Mul Mul x0 pi Add x0 asech x0 Mul x0 Add log Mul Mul x0 pi Add x0 asech x0 Mul Add x0 x2 Mul Add Mul Add x0 asech x0 pi Mul Mul x0 pi Add 1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul Mul x0 pi Add x0 asech x0 -1 