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