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