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