asech Pow Mul x0 x7 Add x0 Add Pow sqrt sec Pow x1 5 x0 acosh Mul Mul x0 x0 pi 
Mul Mul Pow Mul x0 x7 Add Add x0 Add Pow sqrt sec Pow x1 5 x0 acosh Mul Mul x0 x0 pi -1 Add Mul Add x0 Add Pow sqrt sec Pow x1 5 x0 acosh Mul Mul x0 x0 pi x7 Mul Mul Mul x0 x7 log Mul x0 x7 Add 1 Add Mul Pow sqrt sec Pow x1 5 Add x0 -1 Mul sqrt sec Pow x1 5 log sqrt sec Pow x1 5 Mul Mul pi Add x0 x0 Pow Mul sqrt Add Mul Mul x0 x0 pi -1 sqrt Add 1 Mul Mul x0 x0 pi -1 Pow Mul Mul Pow Mul x0 x7 Add x0 Add Pow sqrt sec Pow x1 5 x0 acosh Mul Mul x0 x0 pi Pow Mul x0 x7 Add x0 Add Pow sqrt sec Pow x1 5 x0 acosh Mul Mul x0 x0 pi sqrt Add 1 Mul -1 Pow Mul Pow Mul x0 x7 Add x0 Add Pow sqrt sec Pow x1 5 x0 acosh Mul Mul x0 x0 pi Pow Mul x0 x7 Add x0 Add Pow sqrt sec Pow x1 5 x0 acosh Mul Mul x0 x0 pi -1 -1 