How exactly do these procedures work?

(define (square x)
(exp (double (log x))))

(define (double x) (+ x x))

Question

How exactly do these procedures work?

(define (square x)
  (exp (double (log x))))

(define (double x) (+ x x))

owlfred · Answer

Hoot! You just asked your first question! Hang tight while I find people to answer it for you. You can thank people who give you good answers by clicking the 'Good Answer' button on the right!

shadowfiend · Answer

Pretty staightforward; remember how logs/exponents work: $$\begin{align} exp(double (log x)) &= e^{2 \ln x}\ &= e^{\ln x^2}\ &= x^2 \end{align}$$ Have a look at http://en.wikipedia.org/wiki/Logarithm for more.