Y mul pow x2 c add mul c mul pow x0 c mul pow x3 c mul pow add x3 mul x0 pow x3 c div c c add c add x2 mul c pow x3 c mul c mul pow x0 c mul pow x3 c mul pow add x3 mul x0 pow x3 c div c c add c add x2 mul c pow x3 c