File: logphi.fee

package info (click to toggle)
feenox 1.2-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 12,068 kB
  • sloc: ansic: 28,856; sh: 7,201; makefile: 556; python: 554; xml: 500
file content (3 lines) | stat: -rw-r--r-- 128 bytes parent folder | download | duplicates (2) 
1
2
3
 
# 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)