let bmi shincho taiju = 
  taiju /. (shincho *. shincho)