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