为什么在Maple的运算结果中，含有进程Proc，怎么化简呢

clmyf

! q+ B1 f# |! i2 ~. P
我用如下的代码运行：
> h := x-> x-f(x)/(D(f))(x);
> AMN := x-> x-2*f(x)/(D(f)(x)+(D(f)@h)(x));
2 p& ^" \2 a5 @' |( K> algsubs(f(alpha) = 0, ((D@@3)(AMN))(alpha));
5 A; g. @( G+ t! d! P' P( Z> simplify(%);
6 c- e7 l- S$ a" h( c  L结果如图
. Z5 y; ?' h; D, X
4 ]( H1 D' W( y9 Z- O含有Proc程序，不知道怎么回事
6 L' A5 S( o0 G- v$ z
通过提取，这段proc的代码意思为图

可不可以使用这个结果代换到上面的结果中么？该如何替换，用什么命令。
& M6 T7 R4 O' ^& z( A; ?
/ ?4 g% ~5 ~0 k7 g$ [  ^主要是想把上述表达式化到最简形式，使用simplify命令不能达到上述效果。
+ w! ]2 ^6 x0 V  @% j( e3 E( u
7 C* a$ M1 p) m2 z- @! A: Umaple小白，求助，Help~~~~

看不到图片的童鞋可以到小木虫看相关内容，网址如下：
http://emuch.net/bbs/viewthread.php?tid=5320296