Charles Leclerc was trying to calculate F1 title permutations in the car during ‘boring’ Qatar GP