Стоит ли изучать Axiom?

[rooci]

Я пытаюсь найти свободную альтернативу mathematica, в её качестве рассматриваю axiom (fricas, если точнее). Первый тест на профпригодность:

(97) ->  y:=operator 'y;
(104) ->  ode:= D(y x, x) = 0;
(105) ->  solve(ode, y, x)
[particular=0,basis=[1]]
Type: Union(Record(particular: Expression(Integer),basis: List(Expression(Integer))),...)  

Простейший линейный дифур решает. Несложный тест на сообразительность:

(108) ->  ode:= D(y x, x)^3 = 0 


y^,(x)^3=0
                                          Type: Equation(Expression(Integer))  
(110) ->  solve(ode, y, x)

 
   >> Error detected within library code:
   getlincoeff: not an appropriate ordinary differential equation

... провален.
Действительно ли символьное ядро этого пакета настолько слабо, или я делаю что-то не так?