Pow Pow acot acos x3 log x0 x0 
Mul Pow Pow acot acos x3 log x0 Add x0 -1 Add Mul x0 Mul Pow acot acos x3 Add log x0 -1 Mul Mul acot acos x3 log acot acos x3 Pow x0 -1 Mul Pow acot acos x3 log x0 log Pow acot acos x3 log x0 