Mul acot Pow x0 5 Pow x0 Pow sec acos x7 x0 
Add Mul Pow x0 Pow sec acos x7 x0 Mul -1 Mul Mul Pow x0 4 5 Pow Add 1 Mul Pow x0 5 Pow x0 5 -1 Mul acot Pow x0 5 Mul Pow x0 Add Pow sec acos x7 x0 -1 Add Pow sec acos x7 x0 Mul Mul x0 log x0 Mul Pow sec acos x7 Add x0 -1 Mul sec acos x7 log sec acos x7 