Skip to content

Instantly share code, notes, and snippets.

@Vaguery

Vaguery/tree-trace.txt

Created June 16, 2024 19:54
Show Gist options
  • Save Vaguery/695b0c68a2b228cf49f925b65d7f0b07 to your computer and use it in GitHub Desktop.
Save Vaguery/695b0c68a2b228cf49f925b65d7f0b07 to your computer and use it in GitHub Desktop.
Download ZIP
214 trees from 1000 tokens sampled from [x1,x2,k1,+,*,swap]
Raw
tree-trace.txt
x2
x1
k1
(x2 + x1)
(x2 + k1)
(k1 * k1)
(k1 * x1)
(k1 * x2)
(k1 + k1)
(k1 + x1)
(k1 + x2)
(x1 * k1)
(x1 * x1)
(x1 * x2)
(x1 + k1)
(x1 + x1)
(x1 + x2)
(x2 * x2)
(x2 * k1)
(x2 * x1)
(x2 + x2)
(x2 * (x2 + k1))
((x1 + x2) + x2)
((x1 + x2) * x1)
((x1 + x1) + x1)
((x1 + k1) + x2)
((x1 + k1) * x2)
((x1 * x2) + x2)
((x1 * x1) * x1)
((x1 * k1) + x1)
((x1 * k1) * x1)
((x1 * k1) * k1)
((k1 + x2) + k1)
((k1 + x2) * x2)
((k1 + x2) * x1)
((k1 + x1) * k1)
((k1 + k1) * x2)
((k1 * x2) + x1)
((k1 * x2) * k1)
((k1 * x1) + x1)
((k1 * x1) + k1)
((k1 * x1) * x2)
(x2 * (x1 * x1))
(x2 * (k1 + x2))
(x2 * (k1 * x2))
(x1 + (x2 * k1))
(x1 + (k1 * x1))
(x1 * (x2 + k1))
(x1 * (x2 * x2))
(x1 * (k1 * k1))
(k1 + (x1 * x2))
(k1 * (x2 + x1))
(k1 * (x2 + k1))
(k1 * (x1 + x2))
(k1 * (x1 * x2))
(k1 * (k1 + x1))
(k1 * (k1 + k1))
((x2 + x2) + x2)
((x2 + k1) + x2)
((x2 + k1) * x2)
((x2 * x2) + x1)
((x2 * k1) * x2)
(x2 + (x1 * x1))
(x2 + (k1 * x2))
((k1 * (x1 * x2)) * x1)
(((x1 + k1) * x2) + x2)
(((k1 * x1) * x2) * k1)
(x1 * (x2 * (x2 + k1)))
((x1 * x2) * (k1 + x2))
(((k1 * x1) * x2) + k1)
(x1 * (k1 * (k1 + x1)))
(x1 * ((x2 * k1) * x2))
((x1 + (k1 * x1)) + k1)
(((x1 * x2) + x2) + x2)
(x1 * ((x1 * k1) * k1))
(x2 + ((x1 + x2) * x1))
((x2 * (k1 + x2)) + k1)
(x2 + ((x1 + k1) + x2))
(((k1 * x1) + k1) * x1)
(k1 + (x2 * (k1 * x2)))
((x2 * k1) * (k1 + k1))
((x2 * x1) * (x1 + k1))
(((k1 * x2) + x1) * k1)
(((k1 + k1) * x2) * x1)
((x2 + k1) * (k1 + k1))
(((k1 + x1) * k1) * x1)
(((k1 + x2) + k1) + x1)
((x2 + x1) * (x2 + x1))
((x2 + x1) + (k1 + x2))
(((k1 + x2) + k1) * x2)
(((k1 + x2) * x1) + x1)
(k1 * (k1 * (x1 + x2)))
((k1 * x1) * (x2 + k1))
((k1 * x2) * (x2 + k1))
((k1 * x2) + (k1 * x2))
((k1 * x2) + (x1 * k1))
(x2 * (x1 * (k1 * k1)))
(x2 + (x2 * (k1 + x2)))
((k1 + (x1 * x2)) + x2)
(x1 + (x1 + (x2 * k1)))
(((x1 + x2) + x2) + k1)
((x1 * (x2 + k1)) + x1)
(x2 + (k1 * (x2 + x1)))
((k1 * (x1 + x2)) * (x1 + x1))
(x1 * (x2 + ((x1 + x2) * x1)))
((k1 * (k1 * (x1 + x2))) + x1)
(x2 * (x2 + (x2 * (k1 + x2))))
(x2 * (x2 + (k1 * (x2 + x1))))
(x2 + (x1 * ((x1 * k1) * k1)))
(x2 * (x2 * (x1 * (k1 * k1))))
(((k1 * x2) + (x1 * k1)) + x2)
((((x1 * x2) + x2) + x2) * k1)
((((k1 + x2) + k1) * x2) + k1)
(k1 + ((k1 * x1) * (x2 + k1)))
(k1 + ((x2 + k1) * (k1 + k1)))
(((x1 * (x2 + k1)) + x1) + x2)
((((k1 + x1) * k1) * x1) * x2)
((x1 * ((x2 * k1) * x2)) * x1)
((x1 + (x1 + (x2 * k1))) + k1)
(x2 * ((x1 + (k1 * x1)) + k1))
(x1 * ((x2 * k1) * (k1 + k1)))
(x2 + (((k1 * x1) * x2) + k1))
((((k1 + k1) * x2) * x1) + x2)
(x1 + ((k1 + (x1 * x2)) + x2))
(((x1 * x2) * (k1 + x2)) * x1)
((x1 + x2) * ((x1 * k1) * x1))
(x1 + (((x1 + x2) + x2) + k1))
(((((k1 + x1) * k1) * x1) * x2) + k1)
(x1 * ((x1 + x2) * ((x1 * k1) * x1)))
(((((k1 + x2) + k1) * x2) + k1) * x1)
(((k1 * (k1 * (x1 + x2))) + x1) + x1)
((((x1 * x2) * (k1 + x2)) * x1) * x1)
(k1 + (k1 + ((k1 * x1) * (x2 + k1))))
((x1 + ((k1 + (x1 * x2)) + x2)) * x1)
((x1 * (x2 + ((x1 + x2) * x1))) + x2)
(((x1 * x1) * x1) * ((k1 * x2) * k1))
((x2 * (x1 * x1)) * ((x1 * k1) * k1))
((x2 * (x2 * (x1 * (k1 * k1)))) * k1)
(((x1 + (x1 + (x2 * k1))) + k1) * x2)
((k1 + ((x2 + k1) * (k1 + k1))) + k1)
((x2 * k1) + ((k1 * (x1 * x2)) * x1))
(((x2 + x2) + x2) + ((k1 + x2) * x2))
((k1 * x2) * (x1 * (x2 * (x2 + k1))))
((x2 + (((k1 * x1) * x2) + k1)) * x2)
(((x1 + ((k1 + (x1 * x2)) + x2)) * x1) * x2)
(x2 + (x1 * ((x1 + x2) * ((x1 * k1) * x1))))
(((x2 * k1) + ((k1 * (x1 * x2)) * x1)) + k1)
(x1 + (((((k1 + x2) + k1) * x2) + k1) * x1))
(((x2 + (((k1 * x1) * x2) + k1)) * x2) * x1)
((x2 + (x1 * ((x1 * k1) * k1))) * (k1 * x1))
((((x1 * (x2 + k1)) + x1) + x2) + (x1 * x1))
(((x2 * (x2 * (x1 * (k1 * k1)))) * k1) * x1)
(((((x1 * x2) + x2) + x2) * k1) * (x2 * x1))
((x1 * x2) * (((k1 * x2) + (x1 * k1)) + x2))
(((x2 * (x1 * x1)) * ((x1 * k1) * k1)) * x1)
((x1 * x1) + (x2 * (x2 + (x2 * (k1 + x2)))))
((x2 * x1) + (x1 + (((x1 + x2) + x2) + k1)))
(((x1 * (x2 + ((x1 + x2) * x1))) + x2) * x1)
(((k1 * (x1 + x2)) * (x1 + x1)) + (x1 * (x2 * x2)))
(x2 * ((x1 * x1) + (x2 * (x2 + (x2 * (k1 + x2))))))
((((x1 * (x2 + ((x1 + x2) * x1))) + x2) * x1) + k1)
((((x2 * (x2 * (x1 * (k1 * k1)))) * k1) * x1) + x1)
(k1 + (((((x1 * x2) + x2) + x2) * k1) * (x2 * x1)))
((((x1 + ((k1 + (x1 * x2)) + x2)) * x1) * x2) + x2)
(x2 + (((k1 * (x1 + x2)) * (x1 + x1)) + (x1 * (x2 * x2))))
(((((x1 + ((k1 + (x1 * x2)) + x2)) * x1) * x2) + x2) + k1)
(x1 * ((((x1 * (x2 + ((x1 + x2) * x1))) + x2) * x1) + k1))
((k1 + (((((x1 * x2) + x2) + x2) * k1) * (x2 * x1))) * k1)
((x2 * x1) * (((x2 * (x1 * x1)) * ((x1 * k1) * k1)) * x1))
((((k1 * (k1 * (x1 + x2))) + x1) + x1) * ((x2 + x1) + (k1 + x2)))
(((x2 * k1) * x2) * ((x2 * x1) + (x1 + (((x1 + x2) + x2) + k1))))
((k1 * (k1 + k1)) * ((((x1 * (x2 + k1)) + x1) + x2) + (x1 * x1)))
(x1 + (((((x1 + ((k1 + (x1 * x2)) + x2)) * x1) * x2) + x2) + k1))
(((k1 + (((((x1 * x2) + x2) + x2) * k1) * (x2 * x1))) * k1) + x2)
((x1 * ((((x1 * (x2 + ((x1 + x2) * x1))) + x2) * x1) + k1)) + x2)
((x2 + k1) + (x2 + (((k1 * (x1 + x2)) * (x1 + x1)) + (x1 * (x2 * x2)))))
((((x2 * k1) * x2) * ((x2 * x1) + (x1 + (((x1 + x2) + x2) + k1)))) * k1)
((x2 * ((x1 * x1) + (x2 * (x2 + (x2 * (k1 + x2)))))) * (k1 * (x2 + x1)))
(x2 + ((((k1 * (k1 * (x1 + x2))) + x1) + x1) * ((x2 + x1) + (k1 + x2))))
(((k1 * (k1 + k1)) * ((((x1 * (x2 + k1)) + x1) + x2) + (x1 * x1))) + x1)
((x1 + (((((k1 + x2) + k1) * x2) + k1) * x1)) * ((x1 * ((x2 * k1) * x2)) * x1))
(x2 + ((x2 + k1) + (x2 + (((k1 * (x1 + x2)) * (x1 + x1)) + (x1 * (x2 * x2))))))
(k1 * (((k1 * (k1 + k1)) * ((((x1 * (x2 + k1)) + x1) + x2) + (x1 * x1))) + x1))
(k1 * (k1 * (((k1 * (k1 + k1)) * ((((x1 * (x2 + k1)) + x1) + x2) + (x1 * x1))) + x1)))
((x2 * k1) + (x2 + ((x2 + k1) + (x2 + (((k1 * (x1 + x2)) * (x1 + x1)) + (x1 * (x2 * x2)))))))
((x2 + (x1 * ((x1 + x2) * ((x1 * k1) * x1)))) + ((x1 * x2) * (((k1 * x2) + (x1 * k1)) + x2)))
(((x1 + (((((k1 + x2) + k1) * x2) + k1) * x1)) * ((x1 * ((x2 * k1) * x2)) * x1)) * ((x1 + k1) * x2))
((x2 * k1) * (k1 * (k1 * (((k1 * (k1 + k1)) * ((((x1 * (x2 + k1)) + x1) + x2) + (x1 * x1))) + x1))))
(((x2 * k1) * (k1 * (k1 * (((k1 * (k1 + k1)) * ((((x1 * (x2 + k1)) + x1) + x2) + (x1 * x1))) + x1)))) * x1)
(((x2 + (x1 * ((x1 + x2) * ((x1 * k1) * x1)))) + ((x1 * x2) * (((k1 * x2) + (x1 * k1)) + x2))) * (x2 + k1))
(x2 * (((x2 + (x1 * ((x1 + x2) * ((x1 * k1) * x1)))) + ((x1 * x2) * (((k1 * x2) + (x1 * k1)) + x2))) * (x2 + k1)))
(((k1 * x2) * (x1 * (x2 * (x2 + k1)))) * (x2 + ((((k1 * (k1 * (x1 + x2))) + x1) + x1) * ((x2 + x1) + (k1 + x2)))))
((((x1 + (((((k1 + x2) + k1) * x2) + k1) * x1)) * ((x1 * ((x2 * k1) * x2)) * x1)) * ((x1 + k1) * x2)) * (x1 + k1))
((((k1 * x2) * (x1 * (x2 * (x2 + k1)))) * (x2 + ((((k1 * (k1 * (x1 + x2))) + x1) + x1) * ((x2 + x1) + (k1 + x2))))) * k1)
(((((x1 + (((((k1 + x2) + k1) * x2) + k1) * x1)) * ((x1 * ((x2 * k1) * x2)) * x1)) * ((x1 + k1) * x2)) * (x1 + k1)) * (x1 + x2))
((x2 * (((x2 + (x1 * ((x1 + x2) * ((x1 * k1) * x1)))) + ((x1 * x2) * (((k1 * x2) + (x1 * k1)) + x2))) * (x2 + k1))) + (x2 * k1))
(x2 + ((x2 * (((x2 + (x1 * ((x1 + x2) * ((x1 * k1) * x1)))) + ((x1 * x2) * (((k1 * x2) + (x1 * k1)) + x2))) * (x2 + k1))) + (x2 * k1)))
((((x2 * k1) * (k1 * (k1 * (((k1 * (k1 + k1)) * ((((x1 * (x2 + k1)) + x1) + x2) + (x1 * x1))) + x1)))) * x1) + (((k1 + x2) * x1) + x1))
((((((x1 + (((((k1 + x2) + k1) * x2) + k1) * x1)) * ((x1 * ((x2 * k1) * x2)) * x1)) * ((x1 + k1) * x2)) * (x1 + k1)) * (x1 + x2)) * (x1 * x2))
(x2 * ((((x2 * k1) * (k1 * (k1 * (((k1 * (k1 + k1)) * ((((x1 * (x2 + k1)) + x1) + x2) + (x1 * x1))) + x1)))) * x1) + (((k1 + x2) * x1) + x1)))
(((x2 * k1) + (x2 + ((x2 + k1) + (x2 + (((k1 * (x1 + x2)) * (x1 + x1)) + (x1 * (x2 * x2))))))) * ((x2 + (x1 * ((x1 * k1) * k1))) * (k1 * x1)))
(x1 + (((x2 * k1) + (x2 + ((x2 + k1) + (x2 + (((k1 * (x1 + x2)) * (x1 + x1)) + (x1 * (x2 * x2))))))) * ((x2 + (x1 * ((x1 * k1) * k1))) * (k1 * x1))))
(x1 * ((((((x1 + (((((k1 + x2) + k1) * x2) + k1) * x1)) * ((x1 * ((x2 * k1) * x2)) * x1)) * ((x1 + k1) * x2)) * (x1 + k1)) * (x1 + x2)) * (x1 * x2)))
((x1 * (k1 * (k1 + x1))) * ((((k1 * x2) * (x1 * (x2 * (x2 + k1)))) * (x2 + ((((k1 * (k1 * (x1 + x2))) + x1) + x1) * ((x2 + x1) + (k1 + x2))))) * k1))
(x1 * ((x1 * (k1 * (k1 + x1))) * ((((k1 * x2) * (x1 * (x2 * (x2 + k1)))) * (x2 + ((((k1 * (k1 * (x1 + x2))) + x1) + x1) * ((x2 + x1) + (k1 + x2))))) * k1)))
(x2 * (x1 + (((x2 * k1) + (x2 + ((x2 + k1) + (x2 + (((k1 * (x1 + x2)) * (x1 + x1)) + (x1 * (x2 * x2))))))) * ((x2 + (x1 * ((x1 * k1) * k1))) * (k1 * x1)))))
(((x2 * (k1 + x2)) + k1) + (x2 + ((x2 * (((x2 + (x1 * ((x1 + x2) * ((x1 * k1) * x1)))) + ((x1 * x2) * (((k1 * x2) + (x1 * k1)) + x2))) * (x2 + k1))) + (x2 * k1))))
((x1 * ((x1 * (k1 * (k1 + x1))) * ((((k1 * x2) * (x1 * (x2 * (x2 + k1)))) * (x2 + ((((k1 * (k1 * (x1 + x2))) + x1) + x1) * ((x2 + x1) + (k1 + x2))))) * k1))) * x1)
(((x1 * ((x1 * (k1 * (k1 + x1))) * ((((k1 * x2) * (x1 * (x2 * (x2 + k1)))) * (x2 + ((((k1 * (k1 * (x1 + x2))) + x1) + x1) * ((x2 + x1) + (k1 + x2))))) * k1))) * x1) + x2)
((((x2 * (k1 + x2)) + k1) + (x2 + ((x2 * (((x2 + (x1 * ((x1 + x2) * ((x1 * k1) * x1)))) + ((x1 * x2) * (((k1 * x2) + (x1 * k1)) + x2))) * (x2 + k1))) + (x2 * k1)))) * x2)
((((x1 * ((x1 * (k1 * (k1 + x1))) * ((((k1 * x2) * (x1 * (x2 * (x2 + k1)))) * (x2 + ((((k1 * (k1 * (x1 + x2))) + x1) + x1) * ((x2 + x1) + (k1 + x2))))) * k1))) * x1) + x2) * k1)
(((((x2 * (k1 + x2)) + k1) + (x2 + ((x2 * (((x2 + (x1 * ((x1 + x2) * ((x1 * k1) * x1)))) + ((x1 * x2) * (((k1 * x2) + (x1 * k1)) + x2))) * (x2 + k1))) + (x2 * k1)))) * x2) * x2)
(((x2 * ((x1 * x1) + (x2 * (x2 + (x2 * (k1 + x2)))))) * (k1 * (x2 + x1))) + ((((x1 * ((x1 * (k1 * (k1 + x1))) * ((((k1 * x2) * (x1 * (x2 * (x2 + k1)))) * (x2 + ((((k1 * (k1 * (x1 + x2))) + x1) + x1) * ((x2 + x1) + (k1 + x2))))) * k1))) * x1) + x2) * k1))
((((x2 * ((x1 * x1) + (x2 * (x2 + (x2 * (k1 + x2)))))) * (k1 * (x2 + x1))) + ((((x1 * ((x1 * (k1 * (k1 + x1))) * ((((k1 * x2) * (x1 * (x2 * (x2 + k1)))) * (x2 + ((((k1 * (k1 * (x1 + x2))) + x1) + x1) * ((x2 + x1) + (k1 + x2))))) * k1))) * x1) + x2) * k1)) + (((x2 + (((k1 * x1) * x2) + k1)) * x2) * x1))
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment