ln1.+sqrt2+23 -sqrt23