real phi = (1 + 5.sqrt()) / 2;
(phi^_ - (-phi)^(-_)) / 5.sqrt();