Per
https://math.stackexchange.com/questions/2230651/a-conjectured-continued-
fraction-for-phi-phi
integrating from 0 to infinity of the function:
e^(-x*(2+(1+sqrt(5))/2))*(cosh(x)+sqrt(5)*sinh(x))^((1+sqrt(5))/2)
is supposed to be:
(phi^phi - 1/phi)/2
where phi =(sqrt(5)+1)/2
Maxima can't find this result symbolically, but numerical integration
gives the expected result.
What about other computer algebra systems?