get normal form for: benchevalsym17(twenty)