Add x3 Pow Mul Pow x0 Add Pow x0 -4 asech exp x0 Pow Pow log Add x0 x6 x1 pi x0 
Mul Pow Mul Pow x0 Add Pow x0 -4 asech exp x0 Pow Pow log Add x0 x6 x1 pi Add x0 -1 Add Mul x0 Add Mul Pow Pow log Add x0 x6 x1 pi Mul Pow x0 Add Add Pow x0 -4 asech exp x0 -1 Add Add Pow x0 -4 asech exp x0 Mul Mul x0 log x0 Add Mul Pow x0 5 -4 Mul exp x0 Pow Mul Mul exp x0 exp x0 sqrt Add 1 Mul -1 Pow Mul exp x0 exp x0 -1 -1 Mul Pow x0 Add Pow x0 -4 asech exp x0 Mul Pow Pow log Add x0 x6 x1 Add pi -1 Mul pi Mul Pow log Add x0 x6 Add x1 -1 Mul x1 Pow Add x0 x6 -1 Mul Mul Pow x0 Add Pow x0 -4 asech exp x0 Pow Pow log Add x0 x6 x1 pi log Mul Pow x0 Add Pow x0 -4 asech exp x0 Pow Pow log Add x0 x6 x1 pi 