Pow acot x0 Add Mul Add x0 5 atan x0 pi 
Mul Pow acot x0 Add Add Mul Add x0 5 atan x0 pi -1 Add Mul Add Mul Add x0 5 atan x0 pi Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Add atan x0 Mul Add x0 5 Pow Add 1 Mul x0 x0 -1 