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