Someone has these two machines, and claims the x86 feels faster in his work.

You don't own any of the machines but have "made" a comparison by copying data from the internet I assume.

This is like explaining to someone who eats a sweet apple that the internet says the apple isn't sweet.

MacBook Pro, 2TB, 32gb, 3200 EUR

HP G1a, 2TB, 128gb, 3700 EUR

If we don't compare laptops but mini-PCs,

Evo X2, 2TB, 128gb, 2000 EUR,

Mac Mini, 2TB, 32gb, 2200 EUR