asech Pow Pow Add Pow sqrt x7 Mul x0 x0 5 x5 pi 
Mul Mul Pow Pow Add Pow sqrt x7 Mul x0 x0 5 x5 Add pi -1 Mul pi Mul Pow Add Pow sqrt x7 Mul x0 x0 5 Add x5 -1 Mul x5 Mul Pow sqrt x7 Add Mul x0 x0 -1 Mul Mul sqrt x7 log sqrt x7 Add x0 x0 Pow Mul Mul Pow Pow Add Pow sqrt x7 Mul x0 x0 5 x5 pi Pow Pow Add Pow sqrt x7 Mul x0 x0 5 x5 pi sqrt Add 1 Mul -1 Pow Mul Pow Pow Add Pow sqrt x7 Mul x0 x0 5 x5 pi Pow Pow Add Pow sqrt x7 Mul x0 x0 5 x5 pi -1 -1 