plus0xxplussxyspluspsxytimes0y0timessxyplusytimespsxyps00pssxspsxfac0xxfacsxyfacpsxtimessxyfactorialxfacxs0plussxypsxplussxypluspsxytimessxypsxtimessxytimespsxytimessxyplusytimespsxypssxpsxfacsxytimessxyfacsxypsxfacsxyfacpsxtimessxyfactorialxfacxs0truefactorialxfacxs0falsefacsxyfacpsxtimessxytruefacsxypsxfalsefacsxytimessxyfalsetimessxytimespsxytruetimessxyplusytimespsxyfalseplussxypluspsxytrueplussxypsxfalsetimessxypsxfalsepssxpsxtrue