Add Pow x4 x0 Pow Add Mul x0 Pow acot x7 x0 log E x0 
Add Mul Pow x4 Add x0 -1 Mul x4 log x4 Mul Pow Add Mul x0 Pow acot x7 x0 log E Add x0 -1 Add Mul x0 Add Pow acot x7 x0 Mul x0 Mul Pow acot x7 Add x0 -1 Mul acot x7 log acot x7 Mul Add Mul x0 Pow acot x7 x0 log E log Add Mul x0 Pow acot x7 x0 log E 