Need some help from Fibonacci experts...

[Thomas Baruchel]

Hi,

I have some expressions that I simplified as much as I could, but
I wonder if someone can find simpler. Thank you very much.

I have to tell that n is even in all those expressions, which may
allow some further simplifications : (-1)^n = 1

		       2	       2
(%o759) - 20 FIB(n) FIB (n + 1) - 4 FIB (n) FIB(n + 1) - 12 FIB(n + 1)
(%i760) 
[ also equal to: ]
							   2
(%o760)       - 4 FIB(n + 1) (FIB(n + 1) FIB(n + 4) - 2 FIB (n))
(%i761) 
			2		       3
(%o761)         - 30 FIB (n) FIB(n + 1) - 2 FIB (n) - 6 FIB(n)
(%i762) 
	       2				      3
(%o762)  14 FIB (n) FIB(n + 1) + 8 FIB(n + 1) - 14 FIB (n) - 2 FIB(n)
(%i763) 
[ also equal to: ]
			 2
(%o763) 	   14 FIB (n - 1) FIB(n + 1) + 6 FIB(n - 2)
(%i764) 
		2				       3
(%o764)  - 2 FIB (n) FIB(n + 1) - 2 FIB(n + 1) + 10 FIB (n) + 7 FIB(n)

-- 
Thomas Baruchel