maple не хочет считать

[bdfn]

Вообщем есть 2 довольно громоздкие функции $f(x_1,x_2,x_3,y_1,y_2,y_3,t)$ и $g(x_1,x_2,x_3,y_1,y_2,y_3,t)$ при условиях $x_1^2+x_2^2+x_3^2=1$, $x_1y_1+x_2y_2+x_3y_3=1$ эти две функции должны при стать одинаковыми. Пробовал это проверить следующими способами: $simplify(f-g,\{x_1^2+x_2^2+x_3^2=1,x_1y_1+x_2y_2+x_3y_3=1\})$ , $factor(subs(x_1=(1-x_2^2-x_3^2)^{1/2},subs(y_1=1-(x_2y_2+x_3y_3)/x_1),f-g))$ maple долго считает но в итоге результат не выдает, пишет либо мало памяти либо выдает ошибку и закрывается. Может быть у кого нибуть есть мысли как решить эту проблему. (у меня стоит maple 15 32bit)

[Leox]

может вместо subs попробовать algsubs?

factorом зачем мучать Maple в етом случае?

[bdfn]

выражения большие и он после $subs$ может не увидеть что получается 0 вот поэтому мучал $factor$ом а $algsubs$ можно применять два раза вначале с первым а потом со вторым условием может не получиться ноль или он все равно учтет по макимуму это условия ?

[Leox]

почему не увидит? нужно сначала задать f и g а потом упрощать, тогда все можно увидеть. а факторизация излишня и вполне возможно именно она все портит

да там, кроме всего, синтаксические ошибки, как мне кажется..