Mul acot x0 Pow Mul Pow Mul x0 x4 4 x3 x7 
Add Mul Pow Mul Pow Mul x0 x4 4 x3 x7 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow Mul Pow Mul x0 x4 4 x3 Add x7 -1 Mul x7 Mul x3 Mul Pow Mul x0 x4 3 Mul 4 x4 