Y add c add pow add x0 mul c mul pow x3 c mul pow add x3 x0 c add mul c x0 mul c mul x3 pow add x3 x3 c c mul c mul x3 mul pow x3 c mul pow add x3 x3 c mul pow add x3 x0 c pow add x0 mul c mul pow x3 c mul pow add x3 x0 c add mul c x0 mul c mul x3 pow add x3 x3 c c