Y mul c mul pow add mul c x1 mul c mul x3 mul pow x1 c add x1 mul c mul x3 add x1 x3 div c c add div c c add mul c mul x3 mul pow x1 c add x1 mul c mul x3 add x1 x3 mul c mul x3 mul pow x1 c add c mul c x3