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