Macsyma
この法外なロイヤリティは、Macsyma が絶対に売れるとMITとADLが考えていたことの表れである。シンボリックスではLISPマシンを売るのが本業と考えていたが、Macsyma の開発も継続していた。Macsyma およびそれを搭載したLISPマシンの売り上げは2年以内にシンボリックスの売り上げ全体の10%を占めるようになっていった。シンボリックス社内からは多くの抵抗があったが、1980年代初めから中ごろに Macsyma をバークレーの Franz Lisp で書いたものがDECのVAXやサンのワークステーション向けにリリースされた。
他社のコンピュータ向けにも Macsyma が販売されるようになると、Macsyma を搭載したシンボリックスのLISPマシンの売り上げが低下していった。市場自体は成長しているにも関わらず、1986年上半期の Macsyma の売り上げは、1985年上半期の売り上げより低下した。数式処理という点では明らかに Macsyma の方が優れていたが、そのころスティーブン・ウルフラムのSMPやウォータールー大学のMapleが売り上げを伸ばしていた。
パヴェルはシンボリックスの Macsyma 部門を1986年初めごろまで指揮していた。1986年後半にはリチャード・ペッティに引き継がせ、シンボリックス社内の衝突を避けるため、経営陣は Macsyma の販売を減らす方針を採用した。Macsyma部門の従業員数は削減されたが、営業部門は強化し、顧客が求める機能を開発することに集中するようにした。