acot Add atan acot acot x0 Mul Pow x0 2 x2 
Mul -1 Mul Add Mul Mul -1 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul acot x0 acot x0 -1 Pow Add 1 Mul acot acot x0 acot acot x0 -1 Mul x2 Mul x0 2 Pow Add 1 Mul Add atan acot acot x0 Mul Pow x0 2 x2 Add atan acot acot x0 Mul Pow x0 2 x2 -1 