Pow x0 Mul Add Mul x0 Mul x2 -4 x0 Mul x6 Mul acot x1 x0 
Mul Pow x0 Add Mul Add Mul x0 Mul x2 -4 x0 Mul x6 Mul acot x1 x0 -1 Add Mul Add Mul x0 Mul x2 -4 x0 Mul x6 Mul acot x1 x0 Mul Mul x0 log x0 Add Mul Mul x6 Mul acot x1 x0 Add Mul x2 -4 1 Mul Add Mul x0 Mul x2 -4 x0 Mul x6 acot x1 