eml(x, y) search

Home | Work queue

simplify this

Original expression

(+ (+ x (* x y)) y)

Engine output

normalization
(+ (+ x (* x y)) y)
score: 8
simplification
(+ x (* x y) y)
score: 7

short info

This site is work-in-progress for automated search of functions in form exp(x) - ln(y). The search engine is written in racket, hence the unusual form of expressions used.

Each operation is wrapped in (parenthesis). Inside, first item is function, then its arguments, all separated by at least 1 whitespace character. Following is a list of available functions and number of expected arguments. You're also allowed to enter numbers (integers, fractions (2/3), decimals (1.23), negative (-23)), variables with any number of characters (by LISP rules) and constant e.

+ - 1+
- - 1+ (works as negative number with 1 argument: (- 23) = -23
* - 1+
/ - 1+ (works as inverse with 1 argument: (/ 23) = (/ 1 23)
exp - 1 (e to the power of the argument)
expt - 2 (1st to the power of 2nd)
log - 1 or 2 (natural logarithm with 1 or with base of 2nd argument with 2)

Source code of the site and engine can be found on gitlab: engine, site.