Simplify -y -a^3y/-ay +4y

-y -a^3* ( y/-ay) +4y

-y -a^3* (- y/ay) +4y

-a^3* (- y/ay) +4y-y

-a^3* (- y/ay) +3y

-1*-1 a^3-1* y/y +3y

-1*-1 a^3-1* 1 +3y

1* a^3-1 +3y

a^2+3y