L'ERRORE è nella setup:
pinMode(LED2,HIGH); non esiste, devi scrivere digitalWrite(LED2,HIGH) !!!!!!!!
Poi, questo è inutile:
if( (val == HIGH) ) come anche anche if( (val)==HIGH )
basta
if( val == HIGH )
E questo è errato:
if( digitalRead(LED1 == HIGH) )
Devi chiamare una funzione di nome digitalRead e tra parentesi gli passi 1 parametro che è il pin, poi fai il test.
if( digitalRead(LED1)==HIGH )
Come scrivi sopra tu chiami la digitalRead passandogli NON il pin ma il confronto tra LED1 e HIGH, dove LED1 è 53 e HIGH è 1 (sono costanti) perciò gli passi la domanda 53==1 ? no, quindi falso e per il C falso è 0 quindi stai passando il pin 0
Quindi, prima di tutto LASCIA perdere il secondo codice. E' un rimedio peggiore del male.