Pow x1 Add Add Mul x0 x0 acot x0 Add Add x0 x0 Add x4 Mul x0 x0 
Mul Pow x1 Add Add Add Mul x0 x0 acot x0 Add Add x0 x0 Add x4 Mul x0 x0 -1 Mul Mul x1 log x1 Add Add Add x0 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Add 2 Add x0 x0 