Add asech x3 Mul Pow Add x0 x7 sqrt Mul x0 x0 Add Mul x0 Pow Add x0 x5 pi Mul x0 Pow asech x0 asech x1 
Add Mul Add Mul x0 Pow Add x0 x5 pi Mul x0 Pow asech x0 asech x1 Mul Pow Add x0 x7 Add sqrt Mul x0 x0 -1 Add sqrt Mul x0 x0 Mul Mul Add x0 x7 log Add x0 x7 Mul Pow Mul 2 sqrt Mul x0 x0 -1 Add x0 x0 Mul Pow Add x0 x7 sqrt Mul x0 x0 Add Add Pow Add x0 x5 pi Mul x0 Mul Pow Add x0 x5 Add pi -1 pi Add Pow asech x0 asech x1 Mul x0 Mul Pow asech x0 Add asech x1 -1 Mul asech x1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 