Reciprocal:

exp(exp(exp(1)-log(exp(1)-log(exp(1)-log(exp(exp(1)-log(1))-log(1)))))-log(x))-log(1)

Solved using:

./regressioneml -a 10 -b 1000000 -r 5 -x 1 -y 1 -x 2 -y 0.5 -x 0.5 -y 2

Negation:

true according to wolfram alpha

exp(exp(1)-log(exp(exp(exp(exp(1)-log(1))-log(1))-log(1))-log(exp(1)-log(1))))-log(exp(x)-log(1))

assuming x is real

exp(exp(exp(1)-log(exp(1)-log(1)))-log(exp(1)-log(exp(1)-log(exp(exp(1)-log(1))-log(1)))))-log(exp(x)-log(1))
exp(exp(exp(1)-log(1))-log(exp(exp(1)-log(1))-log(exp(1)-log(exp(exp(1)-log(1))-log(1)))))-log(exp(x)-log(1))

unknown

exp(exp(1)-log(exp(exp(exp(exp(exp(1)-log(1))-log(exp(1)-log(1)))-log(1))-log(1))-log(1)))-log(exp(x)-log(1))

Solved using:

./regressioneml -a 20 -b 1000000 -r 10 -x 1 -y -1 -x 2 -y -2 -x -1 -y 1 -x -2 -y 2 -x 0 -y 0