Mul x4 Pow Add pi Add Mul 2 asech Mul x0 -3 Mul Mul Mul Add x0 x0 Add x0 Mul x4 x1 x0 2 Mul -1 exp x0 
Mul x4 Mul Pow Add pi Add Mul 2 asech Mul x0 -3 Mul Mul Mul Add x0 x0 Add x0 Mul x4 x1 x0 2 Add Mul -1 exp x0 -1 Add Mul Mul -1 exp x0 Add Mul 2 Mul -3 Pow Mul Mul Mul x0 -3 Mul x0 -3 sqrt Add 1 Mul -1 Pow Mul Mul x0 -3 Mul x0 -3 -1 -1 Mul 2 Add Mul x0 Add Mul Add x0 Mul x4 x1 2 Add x0 x0 Mul Add x0 x0 Add x0 Mul x4 x1 Mul Mul Add pi Add Mul 2 asech Mul x0 -3 Mul Mul Mul Add x0 x0 Add x0 Mul x4 x1 x0 2 log Add pi Add Mul 2 asech Mul x0 -3 Mul Mul Mul Add x0 x0 Add x0 Mul x4 x1 x0 2 Mul -1 exp x0 