Any way for simplification with WM functions

Questions
,
1

Is there any way for simplification of

Log[3-2 Sqrt[2]]/Log[1+Sqrt[2]]

to -2 with some combinations of WM functions? FullSimplify, FunctionExpand and other functions in any combinations don’t reduce expression to -2. Even WA can’t simplify expression.
P.S. WM 13.2 still contains this bug.

2

You could just apply N.

N[Log[3 - 2 Sqrt[2]]/Log[1 + Sqrt[2]]]
3

Well, this is not a simplification, but just a real approximation.

4

Right. I don’t know your context. Just saying you can get a simpler representation by actually forcing finite precision computation. Sorry, I suppose it came off as flippant.

5

Restricting the domain to Reals works

FullSimplify[Log[3 - 2 Sqrt[2]]/Log[1 + Sqrt[2]], All \[Element] Reals]
(* -2 *)
6

Thanks in advance! Never used such kind of generalized restrictions (just for concrete variables only). FullSimplify[Log[3 - 2 Sqrt[2]]/Log[1 + Sqrt[2]], Reals] gives the same result.
But it’s kind of strange to force Reals for simplifying expression, each part of which is clearly real itself.

7

But it’s kind of strange to force Reals for simplifying expression,
each part of which is clearly real itself.

Yes, it is strange. Its even more strange that FullSimplify will work as long as the second argument is present. Even when the argument itself is nonsensical.

Open in Wolfram Cloud ↗
8

That’s really strange behaviour. Seems to be the WM bug.

9

I’ve sent the feedback about this bug to WM Support.