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