- Cuchulainn
**Posts:**57288**Joined:****Location:**Amsterdam-
**Contact:**

Compute the derivative of [$]e^{e^{e^{x}}}[$]. at x = 0.01. It comes from book that says AD is better. Calculus and FD is a nightmare.

- Cuchulainn
**Posts:**57288**Joined:****Location:**Amsterdam-
**Contact:**

Solve the current problem as a least squares Genetic Algorithm optimisation problem using **floating-point genes.**

**[$]min (e^5 - x)^2[$]**

what a puzzle !Compute [$]e^{\pi}[$] to 2 decimal places with pencil and paper. (Gelfond's constant)

A follow-on from Exsan's post andansatz (big conjecture but in the right direction)is whether [$]\pi[$] and [$]e[$] arealgebraically independent? i.e. is there a polynomial relation

[$]a_{n}\pi^{n} + a_{n-1}\pi^{n-1} + ... + a_{0}\pi^{0} = e^5[$]

or

[$]a_{n}e^{n} + a_{n-1}e^{n-1} + ... + a_{0}e^{0} = \pi[$]

where [$]a_{j} , j = 0,..,n[$] are algebraic numbers?

Whichever one takes your fancy.

- Cuchulainn
**Posts:**57288**Joined:****Location:**Amsterdam-
**Contact:**

Have you solved it yet?what a puzzle !Compute [$]e^{\pi}[$] to 2 decimal places with pencil and paper. (Gelfond's constant)

A follow-on from Exsan's post andansatz (big conjecture but in the right direction)is whether [$]\pi[$] and [$]e[$] arealgebraically independent? i.e. is there a polynomial relation

[$]a_{n}\pi^{n} + a_{n-1}\pi^{n-1} + ... + a_{0}\pi^{0} = e^5[$]

or

[$]a_{n}e^{n} + a_{n-1}e^{n-1} + ... + a_{0}e^{0} = \pi[$]

where [$]a_{j} , j = 0,..,n[$] are algebraic numbers?

Whichever one takes your fancy.

I have no idea how to do it. This is very interesting problem to work onHave you solved it yet?what a puzzle !Compute [$]e^{\pi}[$] to 2 decimal places with pencil and paper. (Gelfond's constant)

A follow-on from Exsan's post andansatz (big conjecture but in the right direction)is whether [$]\pi[$] and [$]e[$] arealgebraically independent? i.e. is there a polynomial relation

[$]a_{n}\pi^{n} + a_{n-1}\pi^{n-1} + ... + a_{0}\pi^{0} = e^5[$]

or

[$]a_{n}e^{n} + a_{n-1}e^{n-1} + ... + a_{0}e^{0} = \pi[$]

where [$]a_{j} , j = 0,..,n[$] are algebraic numbers?

Whichever one takes your fancy.

- Cuchulainn
**Posts:**57288**Joined:****Location:**Amsterdam-
**Contact:**

Wed Dec 05, 2018 1:11 pm

Let's take a step backwards.

Gradient descent methods as we know and love them are nothing more than Euler's (ugh) method applied to ODEs (aka*gradient system*):

[$]dx/dt = - grad f(x) = -\nabla f(x)[$] where [$]f[$] is the function to be minimised.

The local minima of [$]f[$] are the*critical points* of this ODE system. (Poincaré-Lyapunov-Bendixson theory).

I have tried it on a number of benchmark unconstrained optimisation problem and solved using C++ boost::odeint without any of the infamous learning rate fudges.

We use more robust ODE solvers than Euler which means that we don't get the well-documented issues with GD methods.

For the evergreen [$]e^5[$] we have ODE [$]dx/dt = -\nabla(x-e^5)^2 = -2(x - e^5)[$]. We get x = 148.413 for any initial value of the ODE.

Let's take a step backwards.

Gradient descent methods as we know and love them are nothing more than Euler's (ugh) method applied to ODEs (aka

[$]dx/dt = - grad f(x) = -\nabla f(x)[$] where [$]f[$] is the function to be minimised.

The local minima of [$]f[$] are the

I have tried it on a number of benchmark unconstrained optimisation problem and solved using C++ boost::odeint without any of the infamous learning rate fudges.

We use more robust ODE solvers than Euler which means that we don't get the well-documented issues with GD methods.

For the evergreen [$]e^5[$] we have ODE [$]dx/dt = -\nabla(x-e^5)^2 = -2(x - e^5)[$]. We get x = 148.413 for any initial value of the ODE.

Algebraic independence of known constants

Although both [$]\pi[$] and [$]e[$] are known to be transcendental, it is not known whether the set of both of them is algebraically independent over [$]\mathbb {Q}[$]. In fact, it is not even known if [$]\pi +e[$] is irrational. Nesterenko proved in 1996 that:

the numbers [$]π[$], [$]e^{\pi}[$], and [$]\Gamma(1/4)[$] are algebraically independent over [$]\mathbb {Q}[$].

the numbers [$]π[$], [$]e^{\pi\sqrt{3}}[$], and [$]\Gamma(1/3)[$] are algebraically independent over [$]\mathbb {Q}[$].

for all positive integers [$]n[$], the numbers [$]π[$], [$]e^{\pi\sqrt{n}}[$] are algebraically independent over [$]\mathbb {Q}[$].

GZIP: On