simplification?



I would like to simplify some expressions involving Bessel 
functions using recurrences relationships like

  bessel_j(nu-1,z)+bessel_j(nu+1,z) = 2/nu * bessel_j(nu,z)
  bessel_y(nu-1,z)+bessel_y(nu+1,z) = 2/nu * bessel_y(nu,z)

I have read the "Rules and Patterns" section of the maxima manual,
but I still don't get it.  Are there any examples or other documentation?