Mul Mul Mul Pow acot Add x0 Pow x0 Pow asech x0 exp Add x1 Add x7 Pow x7 acos x4 x5 x2 x2 pi 
Mul pi Mul x2 Mul x2 Mul Pow acot Add x0 Pow x0 Pow asech x0 exp Add x1 Add x7 Pow x7 acos x4 Add x5 -1 Mul x5 Mul -1 Mul Add 1 Mul Pow x0 Add Pow asech x0 exp Add x1 Add x7 Pow x7 acos x4 -1 Add Pow asech x0 exp Add x1 Add x7 Pow x7 acos x4 Mul Mul x0 log x0 Mul Pow asech x0 Add exp Add x1 Add x7 Pow x7 acos x4 -1 Mul exp Add x1 Add x7 Pow x7 acos x4 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul Add x0 Pow x0 Pow asech x0 exp Add x1 Add x7 Pow x7 acos x4 Add x0 Pow x0 Pow asech x0 exp Add x1 Add x7 Pow x7 acos x4 -1 