Index: mttroot/mtt/lib/reduce/fix_c.r
==================================================================
--- mttroot/mtt/lib/reduce/fix_c.r
+++ mttroot/mtt/lib/reduce/fix_c.r
@@ -7,19 +7,21 @@
 ON ROUNDED$ % No integer output
 
 %% Changes x^y to pow(x,y)
  OPERATOR pow$
  FOR ALL x,y LET x^y = pow(x,y)$ % Use the pow function
- 
+
  %% Derivatives
  FOR ALL f,g,x LET df(pow(f,g),x)=
  	   pow(f,g-1) * (df(f,x)*g + df(g,x)*f*log(f))$
 
  %% Special cases
  FOR ALL x LET pow(x,0) = 1$
  FOR ALL x LET pow(x,1) = x$
+ FOR ALL x,y,z LET pow(x,y)*pow(x,z) = pow(x,y+z)$ 
+ FOR ALL x,y,z LET pow(pow(x,y),z) = pow(x,y*z)$
 
 OPERATOR fabs$
 FOR ALL x let abs(x) = fabs(x)$
 
 
 END$