[math-fun] A remark by Neil Bickford just helped me (= PSLQ) find

DedekindEta[I Sqrt[5/2]] == 2 2^(7/8) 5^(3/8) (1 + Sqrt[10])^(1/4) (7/40)! (3/8)! Sqrt[(√2 + √5) (1/20)! (1/5)! (1/4)! (2/5)! (9/20)!/(3 (1/10)!)]/(3 π^(5/4) (3/40)! (7/20)!) I had not imagined needing (7/40)! —rwg But I still can't find DedekindEta[I Sqrt[7/2]]