# check that $\log \phi = \integral_0^{1/2} \frac{dx}{\sqrt{x^2+1}}$
VAR x
PRINT 2*exp(integral(1/sqrt(x^2+1),x,0,1/2))-sqrt(5)