Mul Add x0 acot Pow Pow Mul x5 -2 x0 x3 -1 
Mul -1 Add 1 Mul -1 Mul Mul Pow Pow Mul x5 -2 x0 Add x3 -1 Mul x3 Mul Pow Mul x5 -2 Add x0 -1 Mul Mul x5 -2 log Mul x5 -2 Pow Add 1 Mul Pow Pow Mul x5 -2 x0 x3 Pow Pow Mul x5 -2 x0 x3 -1 