Mul Add Mul x0 x0 x0 Add 5 Pow x4 acot exp Pow x0 -2 
Add Mul Add 5 Pow x4 acot exp Pow x0 -2 Add Add x0 x0 1 Mul Add Mul x0 x0 x0 Mul Pow x4 Add acot exp Pow x0 -2 -1 Mul Mul x4 log x4 Mul -1 Mul Mul exp Pow x0 -2 Mul Pow x0 3 -2 Pow Add 1 Mul exp Pow x0 -2 exp Pow x0 -2 -1 