Pow Pow x2 acot sqrt x0 Mul 5 x0 
Mul Pow Pow x2 acot sqrt x0 Add Mul 5 x0 -1 Add Mul Mul 5 x0 Mul Pow x2 Add acot sqrt x0 -1 Mul Mul x2 log x2 Mul -1 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul sqrt x0 sqrt x0 -1 Mul Mul Pow x2 acot sqrt x0 log Pow x2 acot sqrt x0 5 