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