plus0xxplussxyspluspsxytimes0y0timessxyplusytimespsxyps00pssxspsxfac0xxfacsxyfacpsxtimessxyfactorialxfacxs0plus200s1p1times2fac2factorial1FULL./TRS/Thiemann/factorial1.trs