Thanks. What about the diff and then solve thing? How to do that with symbolics/mtk and have it simplify correctly?
diff