How to bring the formula to normal notation?

Question

Mathematics

This is not a "logical formula", but an ordinary mathematical formula. I want to make a search engine using formulas, so sin^2(x)+sin^2(y) should match sin^2(y)+sin^2(x), for example. I have a lot of solved problems, even more of them on dxdy.com or other specialized sites.

Answer 1

Parse the formula into a tree.
Linearize the tree with elements sorted alphabetically.

Answer 2

Basically, I always work with rigidly structured data, so I can’t say for sure, but in my opinion, you need genetic algorithms and expansions (mathematical into series and logical into components), an abstraction model and switching rules.
All this can be quite unpleasant to implement, but the result is likely to be.
I’ll tell you about the speed of not working, but the main load on the processor will be associated with the primary analysis, memory with a comparison of the results.
In general, it seems to me that everything can be simpler, but here, in my opinion, you need a good applied mathematician and a good programmer. In general, there was something like that in discrete mathematics, it just requires creative processing for the task, perhaps reverse Polish notation will help.
PS I ask people not to swear, but these are just the first thoughts that came to me on the issue and where I would begin to dig if a solution was needed. Just read today, a simple article on genetic algorithms

Answer 3

To begin with, there is not enough description of what a "normal record" is. I think if you formulate a list of rules, then the work will go easier.
Only a lot of things will have to be taken into account:
sin (x) and sin ^ 1 (x) and sin ^ (1) (x) and even (sin ^ 1 (x))
In general, it is not yet clear how this is generally feasible.

Answer 4

It seems to be what you need. At least something similar