| Similarity | Rank | |
|---|---|---|
| invariant | 0.836 | 62198 |
| variables | 0.808 | 6417 |
| parameters | 0.808 | 5771 |
| coefficients | 0.804 | 37546 |
| scalar | 0.802 | 42368 |
| parameter | 0.795 | 9804 |
| integers | 0.792 | 37480 |
| matrices | 0.774 | 40692 |
| predicates | 0.768 | 77758 |
| non-zero | 0.766 | 62263 |
| operands | 0.762 | 98680 |
| mappings | 0.759 | 54268 |
| equations | 0.758 | 15400 |
| floating-point | 0.754 | 74475 |
| enum | 0.752 | 95495 |
| logarithm | 0.750 | 92560 |
| subroutines | 0.747 | 85214 |
| logarithmic | 0.745 | 69421 |
| symmetries | 0.736 | 99278 |
| user-defined | 0.735 | 52546 |
| tuple | 0.735 | 81288 |
| lambda | 0.734 | 56737 |
| topological | 0.733 | 65192 |
| covariance | 0.733 | 90706 |
| superposition | 0.730 | 87679 |