plus0xxplussxyspluspsxytimes0y0timessxyplusytimespsxyps00pssxspsxfac0xxfacsxyfacpsxtimessxyfactorialxfacxs0plus200s1p1times2fac2factorial1INNERMOST./TRS/Thiemann/factorial1.trs