How to reduce an expression with my template?

How do I reduce the fraction replacing a part of it with K10?
Replace, /. and FullSimplify do not help :frowning:

Hi, Stanislav

I am not sure whether there is a function coping with this directly.

But, if you suspect how your expression should look like, for instance, in your case:

gif.gif

then you can use Solve[] to find a. FullSimplify[] it (eventually with additional assumptions) and there is your result.