### Related

##### tellsimp

tellsimp(a(x),b(x));

a(x);

Calculate

##### tellsimp

tellsimp(a*x,y+z);

rules;

Calculate

##### tellsimp

tellsimp(a*x,y+z);

rules;

Calculate

##### tellsimp

tellsimp(a*x,y+z);

Calculate

##### tellsimp

tellsimp(a*x,y+z);

rules;

5*x;

Calculate

##### tellsimp

tellsimp(a*x,y+z);

Calculate

##### tellsimp

tellsimp(a*x,y+z);

rules;

Calculate

##### tellsimp

tellsimp(a*x,y+z);

rules;

Calculate

##### tellsimp

tellsimp(a*x,y+z);

rules;

5*x;

Calculate

##### tellsimp

tellsimp(a(x),b(x));

a;

Calculate

### tellsimp

Run Example
```(%i1)simp:false;
(%o1)                                false
(%o2)                                false
(%i3) 1/a, simp:false;
1
(%o3)                                  -
a
(%i4) 1/b, simp:false;
1
(%o4)                                  -
b
(%i5) 1/(a*b), simp:false;
1
(%o5)                                 ---
a b
(%i6) tellsimp(1/(a*b), ((1/a)*(1/b)));
(%o6)                         [/rule1, simpquot]
(%i7) 1/(a*b);
1
(%o7)                                 ---
a b
(%i8) disprule(all);
1     1  1
(%t8)                        /rule1 : --- -> - (-)
a b    a  b

(%o8)                                [%t8]
(%i9) 1/(a*b);
1
(%o9)                                 ---
a b
(%i10) properties("*");
(%o10)              [mirror symmetry, nary, rule, operator]
(%i11) rat(1/(a*b));
1
(%o11)/R/                             ---
a b
(%i12) map('ratsimp, 1/(a*b));
1
(%o12)                                ---
a b
(%i13) grind(1/(a*b));

1/(a*b)\$
(%o13)                               done
(%i14) partfrac(1/(a*b), a);
1  - 1
(%o14)                            + (- a   )
b
(%i15) a^-1;
- 1
(%o15)                               a
(%i16) ```
Run Example
```algebraic:(algebraic);
(%o1)                                false
(%i2) tellsimp(z^2,1-z);
(%o2)                         [^rule1, simpexpt]
(%i3) 1/(1+z);
1
(%o3)                                -----
z + 1
(%i4) ```
Run Example
```1/(a*b), simp:true;
1
(%o1)                                 ---
a b
(%i2) 1/(a*b), simp:false;
1
(%o2)                                 ---
a b
(%i3) matchdeclare(a, atom);
(%o3)                                done
(%i4) matchdeclare(b, atom);
(%o4)                                done
(%i5) tellsimp(1/(a*b), simp:false, ((1/a)*(1/b)));
tellsimp: warning: putting rules on '+' or '*' is inefficient, and may not work.
(%o5)                         [*rule1, simptimes]
(%i6) tellsimpafter(1/(a*b), simp:false, ((1/a)*(1/b)));
(%o6)                     [*rule2, *rule1, simptimes]
(%i7) defrule(fraction, 1/(a*b),((1/a)*(1/b))), simp:false;
1
(%o7)                       fraction : --- -> false
a b
(%i8) 1/(a*b), simp:false;
1
(%o8)                                 ---
a b
(%i9) maxapplydepth:1;
(%o9)                                  1
(%i10) newfac;
(%o10)                              newfac
(%i11) fraction(1/(a*b));
1   1
(%o11)                              - (---)
1  a b
(%i12) factor(1/(a*b)), simp:false;
1
(%o12)                                ---
a b
(%i13) ratexpand:false;
(%o13)                               false
(%i14) expandwrt_denom:true;
(%o14)                               true
(%i15) 1/(a*b), fraction;
1
(%o15)                                ---
a b
(%i16) ```

### Related Help

Help for Tellsimp